Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science, 1354)

Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science, 1354)

$2,079.00

Download Catalog

ISBN 9783540639824 Categories ARCHITECTURE, ARCHITECTURE, AUTOCAD COMPUTER GRAPHICS SOFTWARE, COMPUTER GRAPHICS SOFTWARE, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING / SOFTWARE DEVELOPMENT, COMPUTER SOFTWARE PACKAGES, COMPUTING AND INFORMATION TECHNOLOGY, EARLY LEARNING / EARLY LEARNING CONCEPTS, EARLY LEARNING: NUMBERS & COUNTING, EDUCATION, Functional programming, YOUNG CHILDREN'S, EARLY LEARNING & SPECIAL BOOK TYPES

Additional information

Weight	10.02 kg
ISBN	3540639829
ISBN13	9783540639824
Author	Burkart, Olaf
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1997
Edition	1
Pages	176

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros