Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

Autor: B. T. Hailpern
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč

Informace o knize

Autor
B. T. Hailpern
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Stránek
209
EAN
9783540112051
ISBN
3540112057
Enbook ID
01557740
Vydavatel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost
700
Rozměry
155 x 233 x 13

Kompletní popis

Mohlo by vás zajímat

Iterative Software Engineering for Multiagent Systems

Jürgen Lind
1 311 Kč

Surgical Anatomy of Head and Neck

Jan Helms
3 125 Kč

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

Stefan Luckhaus
594 Kč

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
364 Kč

Data Mining Patterns

Maguelonne Teisseire
4 253 Kč

Gruffalo

Julia Donaldson
477 Kč

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

Frank White
496 Kč

Francis Asbury: Circuit Rider

Janet Benge
218 Kč

Registrar General of Marriages, Births and Deaths in Ireland

Registrar General of Marriages
416 Kč

Her Majesty the Queen, as Seen by MAC

Mark Bryant
303 Kč

Cybersecurity Exposed

Raef Meeuwisse
560 Kč

The Devil: His Origin, Greatness and Decadence

Albert Reville
496 Kč

Drive: The Road to Victory

Joyz W Riter
432 Kč

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

W Nicholas Abraham Phd
329 Kč

Smith-Waite Tarot Deck Borderless

Pamela Colman Smith
400 Kč

Anyone Can Be Saved

David L. Allen
785 Kč

Calm with The Very Hungry Caterpillar

Eric Carle
174 Kč

Org Mode 9.2 Reference Manual

Carsten Dominik
402 Kč

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

Creative Designs Journal
168 Kč

Restless in the Grave: A Kate Shugak Novel

Dana Stabenow
444 Kč

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

Cornelius Nicholson
453 Kč

Teaching Entrepreneurship, Volume Two - A Practice-Based Approach

Heidi M. Neck
890 Kč

UNTITLED FORSAKEN TRILOGY BOOK 3

RJ BARKER
471 Kč

Gene and Cell Therapy: Biology and Applications

Giridhara R. Jayandharan
5 623 Kč

Zákaznicí kteří koupili tuto knihu koupili také

In das Feuer

James Rosone
347 Kč

PRELUDE La jeunesse de Sherlock Holmes 1

Pardeilhan
593 Kč

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

Sahoo Debasish Sahoo
1 082 Kč

Mittlerer Harz, Wander- und Fahrradkarte

Bernhard Spachmüller
165 Kč

Quadern Clau Q-9 Divisibilitat. Matematiques.

Jimeno Jimenez
183 Kč

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

José Francisco Blasco Lahoz
2 315 Kč

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

ETAI
1 195 Kč

Taśma Washi Tape Neon Narcissus

665 Kč

Czwarty schowek Five Nights at Freddy's 3

Cawthon Scott
207 Kč

Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven!

Vasco Kintzel
198 Kč

Bibliotheken

Candida Höfer
1 767 Kč

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

Byramji Sorabshaw
664 Kč

Carro Medio US M3 Lee/Grant

Luca Stefano Cristini
538 Kč

Die Moorsiedler Buch 3: Schwere Zeiten

Hoops von Scheeel
189 Kč

Si te vuelvo a ver manana

Robbie Couch
232 Kč

Alimentární infekce

Václav Vacek
142 Kč

De La Signification Des Mots, Volume 2...

Auguste Savagner
812 Kč

Como disciplinar a tus hijos

Roy Lessin
239 Kč

Běžkyně

Peter May
116 Kč

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

146 Kč

Bree Tannerin Ikinci Hayati

Stephenie Meyer
272 Kč

Les Cent Vingt Journées de Sodome

Marquis de Sade
469 Kč

Quetzalcouatl-Fassaden yukatekischer Bauten

Eduard Seler
318 Kč

Veure, tocar i aprendre. Vesteix-te!

Diversos
252 Kč