Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Unfoldings

Name: Unfoldings
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01654485
Price: 107.29 EUR
Availability: InStock
Author: Javier Esparza
ISBN: 9783642096051

A Partial-Order Approach to Model Checking

Javier Esparza

Keijo Heljanko

Lingua

Inglese

Libro In brossura

Codice Libristo: 01654485

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 2010

In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Descrizione completa

Codice Libristo: 01654485

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Problema smysla zhizni i sowremennost'

In brossura

73.59 €

Robinson Crusoe Daniel Defoe

In brossura

9.59 €

Leipziger Lehrausflüge Kurt Krause

Rigido

35.99 €

Unti JA Picture Book - Inteli Bruno Jacob

Rigido

14.69 €

St Porphyry of Kausokalyvia, the Secret Is Being Thankful: An Anthology of St Porphyry's Speeches, with an Introduction and Comments by George Valsami George Valsamis

In brossura

13.59 €

Trina Klaus Groth

In brossura

20.59 €

Dementia Jonathan Schmitt

In brossura

12.39 €

Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood

In brossura

40.99 €

Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen

In brossura

28.99 €

Sangre CLARA PEÑALVER

In brossura

10.69 €

Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas

In brossura

22.99 €

Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo

In brossura

22.49 €

Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski

In brossura

35.29 €

Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto

In brossura

49.39 €

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.