Formal Techniques for Java-like Programs (FTfJP'2002)

Formal Techniques for Java-like Programs (FTfJP'2002)
Author :
Publisher :
Total Pages : 132
Release :
ISBN-10 : OCLC:66174765
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Formal Techniques for Java-like Programs (FTfJP'2002) by : Erik Poll

Download or read book Formal Techniques for Java-like Programs (FTfJP'2002) written by Erik Poll and published by . This book was released on 2002 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Formal Techniques for Java-like Programs (FTfJP'2002) Related Books

Formal Techniques for Java-like Programs (FTfJP'2002)
Language: en
Pages: 132
Authors: Erik Poll
Categories:
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

FTfJP 2002 Formal Techniques for Java-like Programs
Language: en
Pages: 88
Authors: Peter Müller
Categories:
Type: BOOK - Published: 2004 - Publisher:

DOWNLOAD EBOOK

Integrated Formal Methods
Language: en
Pages: 553
Authors: Eerke Boiten
Categories: Computers
Type: BOOK - Published: 2004-03-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004
Object-Oriented Technology. ECOOP 2002 Workshop Reader
Language: en
Pages: 232
Authors: Juan Hernández
Categories: Computers
Type: BOOK - Published: 2003-07-01 - Publisher: Springer

DOWNLOAD EBOOK

ECOOP 2002 Workshop Reader
Proceedings of the ... International Workshop on Formal Techniques for Java-like Programs
Language: en
Pages:
Authors:
Categories: Computer software
Type: BOOK - Published: 1999* - Publisher:

DOWNLOAD EBOOK