Verificar estado da encomenda

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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Model Checking Software Susanne Graf

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Laurent Mounier

Língua

Inglês

Livro Capa mole

Livro Model Checking Software Susanne Graf

Código Libristo: 01559203

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2004

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

Código Libristo: 01559203

?

points

122 b

50.63 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Borderline - Tijuana Connection, 1 DVD William A. Seiter

/

DVD

12.45 €

Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld

/

Adobe ePub DRM

7.48 €

ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ

/

Livro

56.91 €

?Quién es mi bebé? EDICIONES

/

Capa mole

15.59 €

Curiosidades en verso. El cuerpo humano SAGRARIO PINTO

/

Capa mole

11.13 €

Knoedelschorsch seine Leckerchen Hans-Georg Karl

/

Capa mole

8.80 €

TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium

/

Livro de capa dura

32.81 €

Rafaela McKensey Monika Hoffmann

/

Capa mole

7.08 €

Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L

/

Capa mole

12.45 €

Königsblut

/

Capa mole

7.08 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

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

Sobre o livro

Nome completo Model Checking Software

Autor Susanne Graf, Laurent Mounier

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2004

Número de páginas 314

EAN 9783540213147

ISBN 3540213147

Código Libristo 01559203

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

Peso 493

Dimensões 155 x 235 x 18

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

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

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

Informática & tecnologia da informação > Sistemas operativos

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

Frontiers in Algorithms D. T. Lee

/

Capa mole

48.81 €

Classic Operating Systems Per Brinch Hansen

/

Livro de capa dura

91.95 €

First Steps: Caro-Kann Defence Andrew Martin

/

Capa mole

21.36 €

Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian

/

Capa mole

16.90 €

Obituary Mario Martinez

/

Livro de capa dura

22.68 €

7 Mindsets to Master Self-Awareness Elizabeth Diamond

/

Capa mole

14.07 €

Marble Mountain Bud Willis

/

Capa mole

18.52 €

Sanctuary Willa Ford

/

Livro de capa dura

28.35 €

Can You Stand to Be Blessed Lakiya Broadus

/

Capa mole

17.41 €

A Time to Laugh [With Bag] Ben Alex

/

Livro de capa dura

12.45 €

Patología celular Norman F. Cheville

/

Capa mole

34.73 €

Mobile Communications Handbook Jerry D. Gibson

/

Capa mole

105.83 €

Eurythmics Eurythmics

/

Capa mole

11.64 €

A History of Westbury, Long Island Richard Panchyk

/

Livro de capa dura

20.55 €

After the World Ended Hannah Lackoff

/

Capa mole

12.55 €

Theory of Cryptography Amos Beimel

/

Capa mole

46.07 €

Eugenics and Other Evils G. K. Chesterton

/

Capa mole

14.47 €

Windows Server 2012 R2 Inside Out Volume 1 William Stanek

/

Adobe ePub DRM

26.02 €

Methods for Plant Nucleus and Chromatin Studies Célia Baroux

/

Livro de capa dura

206.00 €

A to Z of Critical Thinking Beth Black

/

Livro de capa dura

103.50 €

Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan

/

Capa mole

26.02 €

Computational Methods for Electron-Molecule Collisions Franco A. Gianturco

/

Livro de capa dura

137.84 €

Multicriteria Analysis for Land-Use Management E. Beinat

/

Livro de capa dura

183.62 €

From Divergent Power Series to Analytic Functions Werner Balser

/

Capa mole

28.35 €