Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

Autor: B. T. Hailpern
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł

Informacje o książce

Autor
B. T. Hailpern
Język
Angielski
Oprawa
Książka - Miękka
strony
209
EAN
9783540112051
ISBN
3540112057
Enbook ID
01557740
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
700
Wymiary
155 x 233 x 13

Pełny opis

Możesz być zainteresowany

Iterative Software Engineering for Multiagent Systems

Jürgen Lind
240.46 zł

Surgical Anatomy of Head and Neck

Jan Helms
579.65 zł

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

Stefan Luckhaus
110.49 zł

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
66.97 zł

Data Mining Patterns

Maguelonne Teisseire
745.16 zł

Gruffalo

Julia Donaldson
83.62 zł

One Man's Dream: My Town, My Team, My Time.

Frank White
91.90 zł

Francis Asbury: Circuit Rider

Janet Benge
40.78 zł

Registrar General of Marriages, Births and Deaths in Ireland

Registrar General of Marriages
77.49 zł

Her Majesty the Queen, as Seen by MAC

Mark Bryant
53.05 zł

Cybersecurity Exposed

Raef Meeuwisse
103.19 zł

The Devil: His Origin, Greatness and Decadence

Albert Reville
91.21 zł

Drive: The Road to Victory

Joyz W Riter
79.53 zł

I'm Limping Very Well, Thank You: Mind. Mood. Motivation

W Nicholas Abraham Phd
60.84 zł

Smith-Waite Tarot Deck Borderless

Pamela Colman Smith
74.96 zł

Anyone Can Be Saved

David L. Allen
146.51 zł

Calm with The Very Hungry Caterpillar

Eric Carle
34.65 zł

Org Mode 9.2 Reference Manual

Carsten Dominik
73.88 zł

Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals

Creative Designs Journal
30.95 zł

Restless in the Grave: A Kate Shugak Novel

Dana Stabenow
83.13 zł

The Work And Workers Of The British Association For The Advancement Of Science (1884)

Cornelius Nicholson
83.43 zł

Teaching Entrepreneurship, Volume Two - A Practice-Based Approach

Heidi M. Neck
155.96 zł

UNTITLED FORSAKEN TRILOGY BOOK 3

RJ BARKER
82.55 zł

Gene and Cell Therapy: Biology and Applications

Giridhara R. Jayandharan
986.51 zł

Klienci, którzy kupili tę książkę, kupili również

In das Feuer

James Rosone
64.93 zł

PRELUDE La jeunesse de Sherlock Holmes 1

Pardeilhan
103.87 zł

L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs

Sahoo Debasish Sahoo
201.32 zł

Mittlerer Harz, Wander- und Fahrradkarte

Bernhard Spachmüller
28.91 zł

Quadern Clau Q-9 Divisibilitat. Matematiques.

Jimeno Jimenez
32.12 zł

Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular

José Francisco Blasco Lahoz
405.68 zł

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

ETAI
209.31 zł

Taśma Washi Tape Neon Narcissus

103.29 zł

Czwarty schowek Five Nights at Freddy's 3

Cawthon Scott
28.03 zł

Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven!

Vasco Kintzel
36.89 zł

Bibliotheken

Candida Höfer
309.58 zł

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

Byramji Sorabshaw
122.37 zł

Carro Medio US M3 Lee/Grant

Luca Stefano Cristini
99.10 zł

Die Moorsiedler Buch 3: Schwere Zeiten

Hoops von Scheeel
33.09 zł

Si te vuelvo a ver manana

Robbie Couch
40.78 zł

Alimentární infekce

Václav Vacek
22.97 zł

De La Signification Des Mots, Volume 2...

Auguste Savagner
149.53 zł

Como disciplinar a tus hijos

Roy Lessin
44.39 zł

Běžkyně

Peter May
13.72 zł

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

24.43 zł

Bree Tannerin Ikinci Hayati

Stephenie Meyer
50.13 zł

Les Cent Vingt Journées de Sodome

Marquis de Sade
86.64 zł

Quetzalcouatl-Fassaden yukatekischer Bauten

Eduard Seler
59.09 zł

Veure, tocar i aprendre. Vesteix-te!

Diversos
44.19 zł