Artículos relacionados a Model Checking (Cyber Physical Systems Series)
Sinopsis
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca de los autores
Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.
. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.
Doron Peleg has worked in both academia and industry. He has taught Finance and Entrepreneurial Management at institutions of higher education including Hunter and Lehman colleges in New York City and Tel Aviv and Tel Hai colleges in Israel.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 52,53
GRATIS gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Model Checking (Cyber Physical Systems Series)
Imagen de archivo
Model Checking
Librería: Bellwetherbooks, McKeesport, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting. Nº de ref. del artículo: mon0000006934
Cantidad disponible: 3 disponibles
Imagen de archivo
Model Checking
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0262032708I4N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0262032708I4N01
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking (Cyber-Physical Systems)
Publicado por
The MIT Press, 1999
ISBN 10: 0262032708
ISBN 13: 9780262032704
Antiguo o usado
Tapa dura
Librería: Half Price Books Inc., Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_427289324
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking
Librería: Bellwetherbooks, McKeesport, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Nº de ref. del artículo: 401256
Cantidad disponible: 19 disponibles
Imagen de archivo
Model Checking
Librería: Fulano Books, Cambridge, MA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included. Nº de ref. del artículo: V6-BO3E-AQNE
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 7944438-20
Gastos de envío:
EUR 9,20
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking (Cyber Physical Systems Series)
Librería: Goodvibes Books, STAFFORD, TX, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. New Book. Nº de ref. del artículo: 0262032708-SBX
Cantidad disponible: 2 disponibles
Imagen de archivo
Model Checking (Cyber Physical Systems Series)
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: Abebooks67126
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking (OP)
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-67406
Cantidad disponible: 2 disponibles