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: 46.07 EUR
Availability: InStock
Author: B. T. Hailpern
ISBN: 9783540112051

B. T. Hailpern

Língua

Inglês

Livro Capa mole

Código Libristo: 01557740

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

Código Libristo: 01557740

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

In das Feuer James Rosone

Capa mole

12.85 €

PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan

Capa mole

20.85 €

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

Capa mole

43.24 €

Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller

Mapa

6.07 €

Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez

Capa mole

6.37 €

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

binding.

81.62 €

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

binding.

42.12 €

Taśma Washi Tape Neon Narcissus

binding.

21.97 €

Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott

Capa mole

6.78 €

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

Capa mole

7.89 €

Bibliotheken Candida Höfer

Livro de capa dura

62.28 €

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

Capa mole

25.41 €

Carro Medio US M3 Lee/Grant Luca Stefano Cristini

Capa mole

20.55 €

Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel

Adobe ePub DRM

6.78 €

Si te vuelvo a ver manana Robbie Couch

Adobe ePub DRM

8.40 €

Alimentární infekce Václav Vacek

Livro de capa dura

4.95 €

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

Livro de capa dura

31.08 €

Como disciplinar a tus hijos Roy Lessin

Capa mole

8.90 €

Běžkyně Peter May

Capa mole

2.72 €

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

Capa mole

5.36 €

Bree Tannerin Ikinci Hayati Stephenie Meyer

Capa mole

10.93 €

Les Cent Vingt Journées de Sodome Marquis de Sade

Capa mole

17.92 €

Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler

Capa mole

12.65 €

Veure, tocar i aprendre. Vesteix-te! Diversos

Capa mole

8.80 €

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Verifying Concurrent Processes Using Temporal Logic

Autor B. T. Hailpern

Língua

Inglês

Encadernação Livro - Capa mole

Número de páginas 209

EAN 9783540112051

ISBN 3540112057

Código Libristo 01557740

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

Peso 700

Dimensões 155 x 233 x 13

Categorias

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Programação & engenharia informática

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Iterative Software Engineering for Multiagent Systems Jürgen Lind

Capa mole

50.63 €

Surgical Anatomy of Head and Neck Jan Helms

Capa mole

125.48 €

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

Livro de capa dura

23.79 €

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

Capa mole

13.97 €