Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Handbook of Model Checking

Name: Handbook of Model Checking
Brand: Springer International Publishing AG
SKU: 05267086
Price: 150.19 EUR
Availability: InStock
Author: Roderick Bloem
ISBN: 9783319105741

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05267086

Verlag Springer International Publishing AG, Februar 2018

This book first explores the origins of this idea, grounded in theoretical work on temporal logic an... Vollständige Beschreibung

Libristo-Code: 05267086

368 b

150.19 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Garri Potter i napivkrovnyj prync Joanne K. Rowling

Hardcover

28.79 €

Trzy dni w Swiatyni Jakub Lorber

Broschur

10.29 €

One-Punch Man 12 - Ti silní ONE

Broschur

9.19 €

Die wahre Geschichte der Wikinger Ursula Blank-Sangmeister

Broschur

29.00 €

House for Home Victoria Amelina

Hardcover

8.29 €

Madama Butterfly (nuevo formato) BENJAMI LACOMBE

Broschur

37.29 €

Le Grand Cahier Agota Kristof

Broschur

13.99 €

This book first explores the origins of this idea, grounded in theoretical work on temporal logic and automata. The editors and authors are among the world's leading researchers in this domain, and they contributed 32 chapters representing a thorough view of the development and application of the technique. Topics covered include binary decision diagrams, symbolic model checking, satisfiability modulo theories, partial-order reduction, abstraction, interpolation, concurrency, security protocols, games, probabilistic model checking, and process algebra, and chapters on the transfer of theory to industrial practice, property specification languages for hardware, and verification of real-time systems and hybrid systems.§§The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Handbook of Model Checking

Autor Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2018

Anzahl der Seiten 1210

EAN 9783319105741

ISBN 3319105744

Libristo-Code 05267086

Verlag Springer International Publishing AG

Gewicht 2108

Abmessungen 166 x 244 x 59

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Disaster Governance in Urbanising Asia Michelle Ann Miller

Broschur

53.79 €

Manga Diary of a Male Porn Star Vol. 1 Erefante Kaeruno

Broschur

12.69 €

Eating, Sleeping, and Sex Albert J. Stunkard

Broschur

60.29 €

Coloring Book For Muslim Kids: -Islamic coloring activities book for kids (girls and boys) with 114 pages and 8,5x11 in. Eid and birthday gift for ki Tamoh Art

Broschur

9.89 €