Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Verifying Concurrent Processes Using Temporal Logic

Sprache EnglischEnglisch
Buch Broschur
Buch Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Libristo-Code: 01557740
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

In das Feuer James Rosone / Buch Broschur
common.buy 16.70 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Buch Broschur
common.buy 25.31 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Buch Broschur
common.buy 49.01 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Drucksachen Karte
common.buy 6.98 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Buch Broschur
common.buy 7.79 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Buch binding.
common.buy 98.74 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Buch binding.
common.buy 50.94 €
Taśma Washi Tape Neon Narcissus / Buch binding.
common.buy 28.35 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Buch Broschur
common.buy 8.80 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Buch Broschur
common.buy 9.00 €
Bibliotheken Candida Höfer / Buch Hardcover
common.buy 75.34 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Buch Broschur
common.buy 31.19 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Buch Broschur
common.buy 25.31 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-Book Adobe ePub DRM
common.buy 8.09 €
Si te vuelvo a ver manana Robbie Couch / E-Book Adobe ePub DRM
common.buy 9.92 €
Alimentární infekce Václav Vacek / Buch Hardcover
common.buy 5.86 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Buch Hardcover
common.buy 38.17 €
Como disciplinar a tus hijos Roy Lessin / Buch Broschur
common.buy 11.43 €
Běžkyně Peter May / Buch Broschur
common.buy 3.53 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Buch Broschur
common.buy 5.97 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Buch Broschur
common.buy 12.24 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Buch Broschur
common.buy 22.17 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Buch Broschur
common.buy 14.37 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Buch Broschur
common.buy 10.73 €
Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 / Buch Broschur
common.buy 58.53 €
Surgical Anatomy of Head and Neck Jan Helms / Buch Broschur
common.buy 141.18 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Buch Hardcover
common.buy 26.93 €
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq. Andrew Robinson Stoney Bowes / Buch Broschur
common.buy 17.11 €
Data Mining Patterns Maguelonne Teisseire / Buch Hardcover
common.buy 210.15 €
Gruffalo Julia Donaldson / Buch Buch
common.buy 20.35 €
One Man's Dream: My Town, My Team, My Time. Frank White / Buch Hardcover
common.buy 22.37 €
Francis Asbury: Circuit Rider Janet Benge / Buch Broschur
common.buy 10.52 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Buch Broschur
common.buy 18.83 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Buch Broschur
common.buy 12.85 €
Cybersecurity Exposed Raef Meeuwisse / Buch Hardcover
common.buy 26.32 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Buch Broschur
common.buy 23.28 €
Drive: The Road to Victory Joyz W Riter / Buch Broschur
common.buy 20.35 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Buch Broschur
common.buy 15.59 €
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Drucksachen Karten
common.buy 19.44 €
Anyone Can Be Saved David L. Allen / Buch Hardcover
common.buy 37.87 €
Calm with The Very Hungry Caterpillar Eric Carle / Buch Hardcover
common.buy 9.00 €
Org Mode 9.2 Reference Manual Carsten Dominik / Buch Broschur
common.buy 18.83 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Buch Broschur
common.buy 7.89 €
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Buch Broschur
common.buy 21.46 €
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Buch Broschur
common.buy 21.26 €
Günstig
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Buch Broschur
common.buy 37.97 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Buch Broschur
common.buy 20.15 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-Book Adobe ePub DRM
common.buy 239.93 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?