Verifying Concurrent Processes Using Temporal Logic

Name: Verifying Concurrent Processes Using Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01557740
Price: 53.79 EUR
Availability: InStock
Author: B. T. Hailpern
ISBN: 9783540112051

B. T. Hailpern

Sprache

Englisch

Buch Broschur

Libristo-Code: 01557740

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

Libristo-Code: 01557740

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott

Broschur

7.69 €

In das Feuer James Rosone

Broschur

21.50 €

Carro Medio US M3 Lee/Grant Luca Stefano Cristini

Broschur

24.99 €

Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad Alfredo Rodríguez Gurtubay

Broschur

23.79 €

Taśma Washi Tape Neon Narcissus

binding.

29.69 €

Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús

Broschur

10.69 €

The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw

Broschur

30.79 €

Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller

Karte

5.89 €

RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Buch

binding.

52.39 €

PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan

Broschur

25.89 €

Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel

Adobe ePub DRM

8.49 €

Si te vuelvo a ver manana Robbie Couch

Adobe ePub DRM

10.29 €

Bibliotheken Candida Höfer

Hardcover

77.49 €

Alimentární infekce Václav Vacek

Hardcover

5.49 €

De La Signification Des Mots, Volume 2... Auguste Savagner

Hardcover

37.69 €

Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010

Broschur

6.19 €

Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson

Broschur

12.89 €

BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh

Broschur

29.49 €

Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales

Broschur

36.49 €

Just delicious - Couscous, Bulgur & Co. Sarah Schocke

Hardcover

9.99 €

Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3) Ulrike Rogler

Audio CD

14.99 €

Elle voulait juste marcher tout droit Sarah Barukh

Broschur

13.59 €

Běžkyně Peter May

Broschur

3.69 €

Les Cent Vingt Journées de Sodome Marquis de Sade

Broschur

21.89 €

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 Verifying Concurrent Processes Using Temporal Logic

Autor B. T. Hailpern

Sprache

Englisch

Einband Buch - Broschur

Anzahl der Seiten 209

EAN 9783540112051

ISBN 3540112057

Libristo-Code 01557740

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

Gewicht 700

Abmessungen 155 x 233 x 13

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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

Iterative Software Engineering for Multiagent Systems Jürgen Lind

Broschur

60.39 €

Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin

Broschur

115.59 €

Surgical Anatomy of Head and Neck Jan Helms

Broschur

146.99 €

Drive: The Road to Victory Joyz W Riter

Broschur

20.09 €

Calm with The Very Hungry Caterpillar Eric Carle

Hardcover

8.89 €

Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus

Hardcover

28.09 €