Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Unfoldings

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

A Partial-Order Approach to Model Checking

Javier Esparza

Keijo Heljanko

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01654485

Uitgeverij 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... Volledige beschrijving

Libristo-code: 01654485

249 b

103.12 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Assistenza infermieristica psichiatrica forense e sistema giudiziario penale Eman Mohamed I. M. El-Genady

Gebonden (paperback)

54.39 €

Vortex Benning

Gebonden (paperback)

14.38 €

Robinson Crusoe Daniel Defoe

Gebonden (paperback)

9.21 €

Sangre CLARA PEÑALVER

Gebonden (paperback)

10.73 €

ENSENADA ET SON TEMPS BOUVIER RENE Boek

binding.

17.41 €

Unti JA Picture Book - Inteli Bruno Jacob

Gebonden (harde band)

14.88 €

Problema smysla zhizni i sowremennost'

Gebonden (paperback)

70.40 €

Gothofredi Guillelmi Leibnitii ... Opera Omnia: Nunc Primum Collecta, In Classes Distributa, Praefationibus Et Indicibus Exornata; Volume 2 Louis Dutens

Gebonden (paperback)

32.61 €

Spacer po Warszawie Mateusz Kaczyński

Gebonden (paperback)

7.49 €

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

Gebonden (paperback)

13.06 €

Trina Klaus Groth

Gebonden (paperback)

19.74 €

Dementia Jonathan Schmitt

Gebonden (paperback)

11.84 €

Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood

Gebonden (paperback)

39.30 €

Nibelunge Not mit den Abweichungen von der Nibelunge Liet Bartsch Karl Bartsch

Gebonden (paperback)

27.75 €

Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen

Gebonden (paperback)

28.05 €

Vom Chaos zur Endophysik Florian Rötzer

Gebonden (paperback)

42.84 €

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

Gebonden (paperback)

22.18 €

Oeuvres de Voltaire 51-52, 54-70. Correspondance. T. 63 (Ed.1830-1834) Voltaire

Gebonden (paperback)

37.17 €

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

Gebonden (paperback)

21.47 €

Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski

Gebonden (paperback)

35.55 €

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

Gebonden (paperback)

47.30 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Unfoldings

Auteur Javier Esparza, Keijo Heljanko

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2010

Aantal pagina's 172

EAN 9783642096051

ISBN 3642096050

Libristo-code 01654485

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 290

Afmetingen 155 x 235 x 9

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Besturingssystemen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

High Frequency Acoustics in Colloid-Based Meso- and Nanostructures by Spontaneous Brillouin Light Scattering Tim Still

Gebonden (harde band)

103.12 €

Objectivity in Science Flavia Padovani

Gebonden (paperback)

113.45 €

John Pinkowski, Petitioner, V. Ralph Coglay, Doing Business as Mohawk Equipment Company. U.S. Supreme Court Transcript of Record with Supporting Plead Richard E Mueller

Gebonden (paperback)

21.67 €

Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee

Gebonden (paperback)

15.79 €

Ghost of the Pirate Mermaid George J Guerin

Gebonden (paperback)

19.34 €

Castrato Robert C Novarro

Gebonden (harde band)

29.77 €

Heroism and the Supernatural in the African Epic Mariam Konate Deme

Gebonden (paperback)

78.40 €

Daughters of Disaster Amanda L Rautio

Gebonden (harde band)

40.31 €

Jane Austen's Popular and Critical Reputation Joan Klingel Ray

Gebonden (harde band)

598.29 €

Good Inside Becky Kennedy

Gebonden (paperback)

17.11 €

Essays On Various Subjects, Religious And Moral V1: The Practical Application Of Their Principles To The State Of Man In Society (1821) Alexander Watson

Gebonden (paperback)

43.04 €