Menu
Zistiť 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
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.08 €

Informácie o knihe

Autor
B. T. Hailpern
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Stránok
209
EAN
9783540112051
ISBN
3540112057
Enbook ID
01557740
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
700
Rozmery
155 x 233 x 13

Kompletný popis

Mohlo by vás zaujímať

Iterative Software Engineering for Multiagent Systems

Jürgen Lind
54.10 €

Surgical Anatomy of Head and Neck

Jan Helms
136.63 €

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

Stefan Luckhaus
26.06 €

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
14.99 €

Data Mining Patterns

Maguelonne Teisseire
184.86 €

Gruffalo

Julia Donaldson
17.14 €

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

Frank White
21.65 €

Francis Asbury: Circuit Rider

Janet Benge
9.01 €

Registrar General of Marriages, Births and Deaths in Ireland

Registrar General of Marriages
18.22 €

Her Majesty the Queen, as Seen by MAC

Mark Bryant
12.44 €

Cybersecurity Exposed

Raef Meeuwisse
23.12 €

The Devil: His Origin, Greatness and Decadence

Albert Reville
20.48 €

Drive: The Road to Victory

Joyz W Riter
17.83 €

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

W Nicholas Abraham Phd
13.62 €

Smith-Waite Tarot Deck Borderless

Pamela Colman Smith
16.46 €

Anyone Can Be Saved

David L. Allen
32.44 €

Calm with The Very Hungry Caterpillar

Eric Carle
7.64 €

Org Mode 9.2 Reference Manual

Carsten Dominik
16.56 €

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

Creative Designs Journal
6.95 €

Restless in the Grave: A Kate Shugak Novel

Dana Stabenow
18.32 €

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

Cornelius Nicholson
18.71 €

Teaching Entrepreneurship, Volume Two - A Practice-Based Approach

Heidi M. Neck
36.75 €

UNTITLED FORSAKEN TRILOGY BOOK 3

RJ BARKER
19.50 €

Gene and Cell Therapy: Biology and Applications

Giridhara R. Jayandharan
232.50 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

In das Feuer

James Rosone
14.30 €

PRELUDE La jeunesse de Sherlock Holmes 1

Pardeilhan
24.50 €

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

Sahoo Debasish Sahoo
47.43 €

Mittlerer Harz, Wander- und Fahrradkarte

Bernhard Spachmüller
6.75 €

Quadern Clau Q-9 Divisibilitat. Matematiques.

Jimeno Jimenez
7.54 €

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

José Francisco Blasco Lahoz
95.56 €

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

ETAI
49.29 €

Taśma Washi Tape Neon Narcissus

27.44 €

Czwarty schowek Five Nights at Freddy's 3

Cawthon Scott
8.52 €

Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven!

Vasco Kintzel
8.71 €

Bibliotheken

Candida Höfer
72.92 €

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

Byramji Sorabshaw
27.44 €

Carro Medio US M3 Lee/Grant

Luca Stefano Cristini
22.24 €

Die Moorsiedler Buch 3: Schwere Zeiten

Hoops von Scheeel
7.83 €

Si te vuelvo a ver manana

Robbie Couch
9.60 €

Alimentární infekce

Václav Vacek
5.19 €

De La Signification Des Mots, Volume 2...

Auguste Savagner
33.51 €

Como disciplinar a tus hijos

Roy Lessin
9.89 €

Běžkyně

Peter May
7.95 €

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

6.04 €

Bree Tannerin Ikinci Hayati

Stephenie Meyer
11.85 €

Les Cent Vingt Journées de Sodome

Marquis de Sade
19.40 €

Quetzalcouatl-Fassaden yukatekischer Bauten

Eduard Seler
13.91 €

Veure, tocar i aprendre. Vesteix-te!

Diversos
10.38 €