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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 5,74 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoGRATIS gastos de envío desde Australia a España
Destinos, gastos y plazos de envíoLibrería: Better World Books Ltd, Dunfermline, Reino Unido
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
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.64. Nº de ref. del artículo: G0262032708I4N00
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
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 1.64. Nº de ref. del artículo: G0262032708I4N01
Cantidad disponible: 1 disponibles
Librería: Bellwetherbooks, McKeesport, PA, Estados Unidos de America
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
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 4269037-20
Cantidad disponible: 1 disponibles
Librería: Bellwetherbooks, McKeesport, PA, Estados Unidos de America
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
Librería: Fulano Books, Cambridge, MA, Estados Unidos de America
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
Librería: ALLBOOKS1, Direk, SA, Australia
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHAK67406
Cantidad disponible: 2 disponibles
Librería: Books & Bobs, Deeside, FLINT, Reino Unido
Hardcover. Condición: As New. Clean blue boards, with gilt titles to spine and an unclipped DW. Contents are tight, bright and clean, with no inscriptions, no annotations, and no foxing. 314pp. (18.5x23.5cm). Please contact us for any more information. Nº de ref. del artículo: 6370
Cantidad disponible: 1 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. 334. Nº de ref. del artículo: 26693321
Cantidad disponible: 1 disponibles