Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro SPIN Model Checking and Software Verification Klaus Havelund
Código Libristo: 01563035
Editoras Springer, Berlin, novembro 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Sanaci Dami Alvarez / Livro Capa mole
common.buy 8.78 €
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Livro Livro de capa dura
common.buy 14.64 €
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Livro Capa mole
common.buy 34.55 €
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-book Adobe ePub DRM
common.buy 48.90 €
Konec sezóny na koupališti Úštěk Veronika Bendová / Livro Folha
common.buy 10.10 €
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Livro Capa mole
common.buy 13.43 €
T'choupi Thierry Courtin / Livro Livro de capa dura
common.buy 7.77 €
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Livro Capa mole
common.buy 16.26 €
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Livro Capa mole
common.buy 25.96 €
100 fiocchi di neve a uncinetto Caitlin Sainio / Livro Capa mole
common.buy 17.67 €
Tanri Yoktur Allahtan Baska Reza Aslan / Livro Capa mole
common.buy 12.62 €
E-Democracy Martin Wolf / Livro Capa mole
common.buy 50.52 €
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Livro Capa mole
common.buy 6.46 €
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Livro Capa mole
common.buy 30.00 €
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Livro Capa mole
common.buy 23.74 €

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems. The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. The 17 revised full papers presented together with three tutorial contributions were carefully reviewed and selected from 31 submissions. The book competently presents the state of the art in SPIN model checking.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 SPIN Model Checking and Software Verification
Autor Klaus Havelund, John Penix, Willem Visser
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2000
Número de páginas 346
EAN 9783540410300
ISBN 3540410309
Código Libristo 01563035
Editoras Springer, Berlin
Peso 508
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

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Livro Capa mole
common.buy 6.46 €
Nero And Actea: A Tragedy (1891) Eric MacKay / Livro Capa mole
common.buy 16.97 €
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Livro Capa mole
common.buy 27.78 €
The Cure Leah O'Neil / Livro Capa mole
common.buy 12.52 €
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Livro Capa mole
common.buy 7.87 €
The Scope of Immunology Sadiq Mareai / Livro Capa mole
common.buy 28.28 €
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Livro Livro de capa dura
common.buy 26.97 €
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Livro Capa mole
common.buy 32.63 €
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Livro Capa mole
common.buy 5.35 €
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Livro Capa mole
common.buy 183.20 €
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 16.36 €
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Livro Capa mole
common.buy 8.78 €
Masonry in Compression A. T. Vermeltfoort / Livro Capa mole
common.buy 67.29 €
De Doctrina Christiana Saint Augustine / Livro Livro de capa dura
common.buy 332.35 €
History Education and the Construction of National Identities Mario Carretero / Livro Livro de capa dura
common.buy 110.04 €
Integer Partitions George E. AndrewsKimmo Eriksson / Livro Livro de capa dura
common.buy 187.24 €
Principal
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Livro Capa mole
common.buy 22.32 €
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Livro Livro de capa dura
common.buy 16.06 €
Vow Debbie Howells / Audiolivro MP3
common.buy 12.72 €
Hymns And Sacred Songs (1832) Alexander Hume / Livro Capa mole
common.buy 18.89 €
Crazy Days with Pickles Rebekah Molander / Livro Capa mole
common.buy 16.66 €
Seabees at Gulfport Gina L. Nichols / Livro Livro de capa dura
common.buy 20.00 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo