Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Unfoldings

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

A Partial-Order Approach to Model Checking

Javier Esparza

Keijo Heljanko

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01654485

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2010

In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Celý popis

Libristo kód: 01654485

249 b

102.97 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Problema smysla zhizni i sowremennost'

Brožovaná

70.40 €

Robinson Crusoe Daniel Defoe

Brožovaná

9.20 €

Leipziger Lehrausflüge Kurt Krause

Pevná

34.79 €

Unti JA Picture Book - Inteli Bruno Jacob

Pevná

13.95 €

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

Brožovaná

12.33 €

Trina Klaus Groth

Brožovaná

19.72 €

Dementia Jonathan Schmitt

Brožovaná

11.83 €

Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood

Brožovaná

39.24 €

Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen

Brožovaná

28.01 €

Sangre CLARA PEÑALVER

Brožovaná

10.81 €

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

Brožovaná

21.13 €

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

Brožovaná

21.44 €

Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski

Brožovaná

34.08 €

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

Brožovaná

47.23 €

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.