Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

Szerző: B. T. Hailpern
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft

Információk a könyvről

Szerző
B. T. Hailpern
Nyelv
Angol
Kötés
Könyv - Puha kötésű
oldal
209
EAN
9783540112051
ISBN
3540112057
Enbook ID
01557740
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
700
Méretek
155 x 233 x 13

Teljes leírás

Érdekelheti

Iterative Software Engineering for Multiagent Systems

Jürgen Lind
20 672 Ft

Surgical Anatomy of Head and Neck

Jan Helms
52 785 Ft

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

Stefan Luckhaus
10 110 Ft

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
6 043 Ft

Data Mining Patterns

Maguelonne Teisseire
68 907 Ft

Gruffalo

Julia Donaldson
6 994 Ft

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

Frank White
8 375 Ft

Francis Asbury: Circuit Rider

Janet Benge
3 752 Ft

Registrar General of Marriages, Births and Deaths in Ireland

Registrar General of Marriages
7 079 Ft

Her Majesty the Queen, as Seen by MAC

Mark Bryant
4 434 Ft

Cybersecurity Exposed

Raef Meeuwisse
9 298 Ft

The Devil: His Origin, Greatness and Decadence

Albert Reville
8 218 Ft

Drive: The Road to Victory

Joyz W Riter
7 209 Ft

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

W Nicholas Abraham Phd
5 501 Ft

Smith-Waite Tarot Deck Borderless

Pamela Colman Smith
6 909 Ft

Anyone Can Be Saved

David L. Allen
13 490 Ft

Calm with The Very Hungry Caterpillar

Eric Carle
3 183 Ft

Org Mode 9.2 Reference Manual

Carsten Dominik
6 653 Ft

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

Creative Designs Journal
2 802 Ft

Restless in the Grave: A Kate Shugak Novel

Dana Stabenow
7 648 Ft

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

Cornelius Nicholson
7 523 Ft

Teaching Entrepreneurship, Volume Two - A Practice-Based Approach

Heidi M. Neck
13 051 Ft

UNTITLED FORSAKEN TRILOGY BOOK 3

RJ BARKER
6 909 Ft

Gene and Cell Therapy: Biology and Applications

Giridhara R. Jayandharan
82 415 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

In das Feuer

James Rosone
5 972 Ft

PRELUDE La jeunesse de Sherlock Holmes 1

Pardeilhan
8 689 Ft

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

Sahoo Debasish Sahoo
18 426 Ft

Mittlerer Harz, Wander- und Fahrradkarte

Bernhard Spachmüller
2 416 Ft

Quadern Clau Q-9 Divisibilitat. Matematiques.

Jimeno Jimenez
2 685 Ft

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

José Francisco Blasco Lahoz
33 933 Ft

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

ETAI
17 516 Ft

Taśma Washi Tape Neon Narcissus

9 751 Ft

Czwarty schowek Five Nights at Freddy's 3

Cawthon Scott
3 026 Ft

Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven!

Vasco Kintzel
3 371 Ft

Bibliotheken

Candida Höfer
25 904 Ft

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

Byramji Sorabshaw
11 033 Ft

Carro Medio US M3 Lee/Grant

Luca Stefano Cristini
8 926 Ft

Die Moorsiedler Buch 3: Schwere Zeiten

Hoops von Scheeel
2 771 Ft

Si te vuelvo a ver manana

Robbie Couch
3 398 Ft

Alimentární infekce

Václav Vacek
1 991 Ft

De La Signification Des Mots, Volume 2...

Auguste Savagner
13 476 Ft

Como disciplinar a tus hijos

Roy Lessin
4 053 Ft

Běžkyně

Peter May
1 224 Ft

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

2 049 Ft

Bree Tannerin Ikinci Hayati

Stephenie Meyer
4 550 Ft

Les Cent Vingt Journées de Sodome

Marquis de Sade
7 832 Ft

Quetzalcouatl-Fassaden yukatekischer Bauten

Eduard Seler
5 416 Ft

Veure, tocar i aprendre. Vesteix-te!

Diversos
3 694 Ft