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 :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer, Berlin
SKU: 01563494
Price: 46.07 EUR
Availability: InStock
Author: Matthew Dwyer
ISBN: 9783540421245

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Matthew Dwyer

Língua

Inglês

Livro Capa mole

Código Libristo: 01563494

Editoras Springer, Berlin, novembro 2000

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Descrição completa

Código Libristo: 01563494

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh

Capa mole

43.24 €

Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue

Adobe ePub DRM

12.65 €

Vláček a jeho kamarádi

Livro concertina

9.61 €

Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora

Capa mole

5.16 €

Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh

Capa mole

18.12 €

GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová

Cartões

15.28 €

Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA

Capa mole

35.54 €

Tokos Gianna Hedderich

Capa mole

29.26 €

MI Jevgenyij Zamjatyin

Livro de capa dura

9.11 €

Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo

Calendário

66.13 €

G_d'S Pee at State'S End! Godspeed You! Black Emperor Áudio

Vinil de áudio

33.92 €

Číňan Henning Mankell

Livro de capa dura

9.61 €

Shopkins Cicibiciler - Mutsuz Kurabi

Capa mole

18.93 €

Český jazyk pro 3. ročník SOŠ Čechová

Capa mole

6.78 €

Postdemokratie Colin Crouch

Capa mole

9.71 €

Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski

Capa mole

14.27 €

Treasurers of the Snow Patricia St John

Capa mole

12.55 €

La casa de Tomasa Phyllis Root

Capa mole

20.04 €

Aguas arriba de mi madre Arnáiz

Capa mole

18.93 €

Fiat 850. 1964-1973 Alessandro Sannia

Capa mole

18.12 €

Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux

Capa mole

18.12 €

Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles

Capa mole

9.21 €

La bible de l'homéopathie et des traitements naturels Alain Paul

Capa mole

23.69 €

Mafiánsky gang Sýkorovcov + DVD Gustáv Murín

Livro de capa dura

11.23 €

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.