Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560970
Price: 46.03 EUR
Availability: InStock
Author: Patrick Godefroid
ISBN: 9783540281955

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Patrick Godefroid

Língua

Inglês

Livro Capa mole

Código Libristo: 01560970

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

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Descrição completa

Código Libristo: 01560970

111 b

46.03 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Die Transformatoren R. Küchler

Capa mole

68.69 €

K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen

Adobe ePub DRM

2.22 €

Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Jogo/brinquedo

Brinquedo

78.81 €

O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme

Adobe ePub DRM

0.88 €

ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA

Capa mole

6.16 €

Global Tools (1973-1975)

Livro de capa dura

35.20 €

Sovranità. Origine e futuro di un concetto chiave Dieter Grimm

Capa mole

16.48 €

Ineos Grenadier Jörg Sand

Livro de capa dura

14.05 €

Šťastie na prenájom Lucia Braunová

Capa mole

6.47 €

Passwort Logbuch Uwe H. Sültz

Capa mole

4.14 €

SLOVO BUDHOVO Nyánatiloka Maháthera

Livro

6.87 €

Manifest des evolutionären Humanismus Michael Schmidt-Salomon

Capa mole

9.70 €

La Region Mas Transparente Carlos Fuentes

Capa mole

14.66 €

Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam

Capa mole

37.73 €

Aronia - Das heimische Superfood Tanja Braune

Capa mole

14.16 €

Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez

Capa mole

5.25 €

PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN

Capa mole

23.56 €

Přijímačky na vysoké školy v pohodě Studijní předpoklady

Capa mole

14.16 €

Les Petits Loustics Hugues Denisot

Capa mole

12.74 €

Ingenieurbauführer Berlin Roland May

Capa mole

22.15 €

Main de fer et gant de velours Virginie Platel

Capa mole

18.91 €

En Ovantad flykt till Sverige Tadesse Kassa

Capa mole

9.60 €

Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio

Capa mole

6.97 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.