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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568802
Price: 54.1 EUR
Availability: InStock
Author: Dragan Bosnacki
ISBN: 9783540733690

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki

Stefan Edelkamp

Língua

Inglês

Livro Capa mole

Código Libristo: 01568802

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

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

Código Libristo: 01568802

132 b

54.10 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Grundlinien der Philosophie D. Fr. Ast

Capa mole

49.47 €

Ötanazi Okulu 1 Ciltli

Capa mole

21.12 €

LES PEINTURES Beeckman

Capa mole

9.75 €

Das Quiz für Besserwisser I ab 10 Jahren

Livro de capa dura

5.92 €

Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos

Capa mole

37.52 €

LOS IRRELEVANTES ABRIL

Livro de capa dura

20.11 €

Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka

Capa mole

38.31 €

Krevní banka Tanya Huffová

Capa mole

8.74 €

Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer

Capa mole

22.92 €

Eine malerische Reise nach den toten Städten der Zuyder See Henry Havard

Capa mole

12.46 €

Berek Szczygielski Marcin

Livro de capa dura

9.14 €

Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus

Capa mole

41.63 €

Premium Touren. Ein schöner Tag wandern Ulrike Poller

Capa mole

17.49 €

Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek

Capa mole

55.61 €

La psicología en la escuela Delval

Capa mole

17.29 €

Sally y la maldición del rubí PULLMAN

Capa mole

7.43 €

Raphael und Pinturicchio in Siena August Schmarsow

Capa mole

1.50 €

Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet

Capa mole

8.54 €

La historia de Ana Zeppelin: Tomo 1 Giselle Murillo

Capa mole

8.74 €

Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske

Capa mole

14.77 €

Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux

Capa mole

25.85 €

Senzibil Markéta Pilátová

Livro de capa dura

12.86 €

LA SABIDURíA DE LAS AVES TIM BIRKHEAD

Capa mole

34.39 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.