Total Books: 1 - 4 /4
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lire la suite
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suite
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
Lire la suite
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lire la suite
Total Books: 1 - 4 /4
