SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Klaus Havelund
Download - Immediately Available
Format: eBook (PDF)
Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
Henry Gordon Dietz
Download - Immediately Available
Format: eBook (PDF)
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings
Martin Gogolla
Download - Immediately Available
Format: eBook (PDF)
Annual Review in Automatic Programming : Papers Read at the Working Conference on Automatic Programming of Digital Computers Held at Brighton, 1-3 April 1959
Richard Goodman
Download - Immediately Available
Format: eBook (PDF)
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Edmund Clarke
Download - Immediately Available
Format: eBook (PDF)
Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
Mogens Nielsen
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Marcello M. Bonsangue
Download - Immediately Available
Format: eBook (PDF)
Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Carlos Canal
Download - Immediately Available
Format: eBook (PDF)
Database Programming Languages (DBPL-4) : Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 S
Catriel Beeri
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, F
Paolo Ciancarini
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002
Bart Jacobs
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2
Scott F. Smith
Download - Immediately Available
Format: eBook (PDF)