Menu
Află starea comenzii
Contactați-ne
Carte Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

Autor: B. T. Hailpern
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei

Informații despre carte

Autor
B. T. Hailpern
Limbă
engleză
Legare
Carte - Carte broșată
Pagini
209
EAN
9783540112051
ISBN
3540112057
Enbook ID
01557740
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
700
Dimensiuni
155 x 233 x 13

Descriere completă

S-ar putea să te intereseze

Iterative Software Engineering for Multiagent Systems

Jürgen Lind
297.10 lei

Surgical Anatomy of Head and Neck

Jan Helms
756.14 lei

Her Majesty the Queen, as Seen by MAC

Mark Bryant
64.46 lei

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

Stefan Luckhaus
144.56 lei

Smith-Waite Tarot Deck Borderless

Pamela Colman Smith
98.56 lei

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

W Nicholas Abraham Phd
78.98 lei

Drive: The Road to Victory

Joyz W Riter
103.40 lei

The Devil: His Origin, Greatness and Decadence

Albert Reville
118.23 lei

Anyone Can Be Saved

David L. Allen
192.48 lei

Org Mode 9.2 Reference Manual

Carsten Dominik
95.83 lei

Registrar General of Marriages, Births and Deaths in Ireland

Registrar General of Marriages
101.28 lei

Francis Asbury: Circuit Rider

Janet Benge
53.56 lei

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

Frank White
119.94 lei

Gruffalo

Julia Donaldson
103.40 lei

Data Mining Patterns

Maguelonne Teisseire
969.81 lei

Calm with The Very Hungry Caterpillar

Eric Carle
45.59 lei

Cybersecurity Exposed

Raef Meeuwisse
133.57 lei

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

Creative Designs Journal
40.34 lei

North Cape 1943

Edouard A. Groult
92.61 lei

Restless in the Grave: A Kate Shugak Novel

Dana Stabenow
109.05 lei

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

Cornelius Nicholson
108.14 lei

Teaching Entrepreneurship, Volume Two - A Practice-Based Approach

Heidi M. Neck
192.88 lei

Hardest Job in the World

DICKERSON JOHN
84.03 lei

UNTITLED FORSAKEN TRILOGY BOOK 3

RJ BARKER
101.28 lei

Clienții care au cumpărat această carte au mai cumpărat și

Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven!

Vasco Kintzel
48.11 lei

Les Cent Vingt Journées de Sodome

Marquis de Sade
112.58 lei

Quadern Clau Q-9 Divisibilitat. Matematiques.

Jimeno Jimenez
39.74 lei

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

José Francisco Blasco Lahoz
501.50 lei

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

ETAI
258.87 lei

Como disciplinar a tus hijos

Roy Lessin
58.00 lei

Taśma Washi Tape Neon Narcissus

144.16 lei

Czwarty schowek Five Nights at Freddy's 3

Cawthon Scott
44.78 lei

In das Feuer

James Rosone
85.04 lei

Mittlerer Harz, Wander- und Fahrradkarte

Bernhard Spachmüller
30.46 lei

PRELUDE La jeunesse de Sherlock Holmes 1

Pardeilhan
128.32 lei

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

Byramji Sorabshaw
158.59 lei

Bibliotheken

Candida Höfer
382.76 lei

Carro Medio US M3 Lee/Grant

Luca Stefano Cristini
128.32 lei

Die Moorsiedler Buch 3: Schwere Zeiten

Hoops von Scheeel
40.95 lei

Si te vuelvo a ver manana

Robbie Couch
50.23 lei

Alimentární infekce

Václav Vacek
30.05 lei

De La Signification Des Mots, Volume 2...

Auguste Savagner
193.69 lei

In 99 Tagen rund um Sudamerika

Peter Fichte
96.84 lei

Raději zešílet v divočině

Aleš Palán
122.87 lei

Just delicious - Couscous, Bulgur & Co.

Sarah Schocke
55.48 lei

Elle voulait juste marcher tout droit

Sarah Barukh
67.89 lei

Běžkyně

Peter May
18.05 lei

Separacion de uranio en restos oseos para la datacion de estos

Genoveva García Rosales
187.64 lei