Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verifying Concurrent Processes Using Temporal Logic

Name: Verifying Concurrent Processes Using Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01557740
Price: 19922 HUF
Availability: InStock
Author: B. T. Hailpern
ISBN: 9783540112051

B. T. Hailpern

Language

English

Book Paperback

Libristo code: 01557740

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Libristo code: 01557740

136 b

19 922 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

In das Feuer James Rosone

Paperback

6 163 Ft

PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan

Paperback

8 966 Ft

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

Paperback

19 015 Ft

Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller

Map

2 494 Ft

Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez

Paperback

2 771 Ft

Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz

binding.

35 019 Ft

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

binding.

18 076 Ft

Taśma Washi Tape Neon Narcissus

binding.

10 063 Ft

Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott

Paperback

3 123 Ft

Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel

Paperback

3 479 Ft

Bibliotheken Candida Höfer

Hardback

26 733 Ft

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

Paperback

11 386 Ft

Carro Medio US M3 Lee/Grant Luca Stefano Cristini

Paperback

9 212 Ft

Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel

Adobe ePub DRM

2 859 Ft

Si te vuelvo a ver manana Robbie Couch

Adobe ePub DRM

3 521 Ft

Alimentární infekce Václav Vacek

Hardback

2 054 Ft

De La Signification Des Mots, Volume 2... Auguste Savagner

Hardback

13 908 Ft

Como disciplinar a tus hijos Roy Lessin

Paperback

4 183 Ft

Běžkyně Peter May

Paperback

1 263 Ft

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

Paperback

2 114 Ft

Bree Tannerin Ikinci Hayati Stephenie Meyer

Paperback

4 696 Ft

Les Cent Vingt Journées de Sodome Marquis de Sade

Paperback

8 083 Ft

Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler

Paperback

5 589 Ft

Veure, tocar i aprendre. Vesteix-te! Diversos

Paperback

3 812 Ft

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verifying Concurrent Processes Using Temporal Logic

Author B. T. Hailpern

Language

English

Binding Book - Paperback

Number of pages 209

EAN 9783540112051

ISBN 3540112057

Libristo code 01557740

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weight 700

Dimensions 155 x 233 x 13

You might also be interested in

Iterative Software Engineering for Multiagent Systems Jürgen Lind

Paperback

21 333 Ft

Surgical Anatomy of Head and Neck Jan Helms

Paperback

54 474 Ft

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

Hardback

10 433 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

Paperback

6 237 Ft