Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

$1,575.00

Download Catalog

ISBN 9780262032704 Categorías 3D graphics & modelling, COMPUTER PROGRAMMING, COMPUTER SCIENCE, COMPUTING AND INFORMATION TECHNOLOGY, ENGINEERING GRAPHICS & TECHNICAL DRAWING, GRAPHICAL & DIGITAL MEDIA APPLICATIONS, Systems analysis & design, TECHNOLOGY: GENERAL ISSUES, TECHNOLOGY: GENERAL ISSUES

Información adicional

Peso	24.8 kg
ISBN	262032708
ISBN13	9780262032704
Author	Edmund M. Clarke Jr.
Publisher	The MIT Press
Binding	Hardcover
Lenguage	English
Publish Year	1999
Edition	n
Pages	330

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros