FTfJP '13

FTfJP '13
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:1306376481
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis FTfJP '13 by :

Download or read book FTfJP '13 written by and published by . This book was released on 2013 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


FTfJP '13 Related Books

FTfJP '13
Language: en
Pages:

FTfJP '13

Authors:
Categories: Computer software
Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

Formal Verification of Object-Oriented Software
Language: en
Pages: 207

Formal Verification of Object-Oriented Software

Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2011-01-18 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO
Runtime Verification
Language: en
Pages: 331

Runtime Verification

Authors: Shaz Qadeer
Categories: Computers
Type: BOOK - Published: 2013-01-16 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanb
Automata, Languages and Programming
Language: en
Pages: 751

Automata, Languages and Programming

Authors: Luca Aceto
Categories: Computers
Type: BOOK - Published: 2008-07-05 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICA
Programming Languages and Systems
Language: en
Pages: 1006

Programming Languages and Systems

Authors: Hongseok Yang
Categories: Computers
Type: BOOK - Published: 2017-04-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part