Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science, 1680)

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, … (Lecture Notes in Computer Science, 1680)

$2,079.00

Download Catalog

ISBN 9783540664994 Categories ARCHITECTURE, ARCHITECTURE, ART FORMS, TREATMENTS & SUBJECTS, ARTS, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, LANGUAGE TEACHING & LEARNING (OTHER THAN ELT), LANGUAGE, LITERATURE AND BIOGRAPHY, OTHER GRAPHIC ART FORMS

Additional information

Weight	32.1 kg
ISBN	3540664998
ISBN13	9783540664994
Author	Dams, Dennis
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1999
Edition	1999
Pages	292

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros