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

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Jaco C. van de Pol
Código Libristo: 01656755
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Descrição completa
? points 123 b
50.82 €
Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Star Wars Hidden Empire T02 / Livro Capa mole
common.buy 17.88 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 48.50 €
Be Kind (Nepali-English) Livia Lemgruber / Livro Capa mole
common.buy 14.84 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Calendário/Diário Diário
common.buy 8.98 €
Den Libanon lieben lernen Laura Ziegler / Livro Capa mole
common.buy 6.46 €
Diamante Nero Victoria Quinn / Livro Capa mole
common.buy 13.33 €
Die besten Aufstriche selbst gemacht Charly Till / Livro Capa mole
common.buy 7.47 €
Textanfänge Ulrike Krieg-Holz / Livro Capa mole
common.buy 41.83 €
Raketa Hravá kniha pro děti collegium / Livro Capa mole
common.buy 9.89 €
Nach dem bewaffneten Kampf Angelika Holderberg / Livro Capa mole
common.buy 8.48 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Livro Capa mole
common.buy 11.61 €
Uzniki Razuma Tat'yana Volkova / Livro Capa mole
common.buy 46.27 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Model Checking Software
Autor Jaco C. van de Pol, Michael Weber
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 263
EAN 9783642161636
ISBN 3642161634
Código Libristo 01656755
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 421
Dimensões 159 x 235 x 18

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
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 > Teoria matemática da informática
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

Sword Song Sal Quartuccio / Livro Capa mole
common.buy 17.07 €
Myofascial Induction (TM) Andrzej Pilat / Livro Livro de capa dura
common.buy 159.15 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Livro Capa mole
common.buy 14.04 €
The Shadow Lily Johanna Mo / Livro Capa mole
common.buy 11.31 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Livro Capa mole
common.buy 5.95 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Livro Capa mole
common.buy 11.51 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Livro Capa mole
common.buy 6.36 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Livro Capa mole
common.buy 26.97 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Livro Capa mole
common.buy 12.42 €
Shadowless Alison Robinson / Livro Livro de capa dura
common.buy 14.64 €
Harbor Knight Ralph A Garcia / Livro Capa mole
common.buy 12.82 €
Best Is Always... Still Yet to Come! Keith Payne / Livro Capa mole
common.buy 14.04 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Livro Livro de capa dura
common.buy 37.48 €
Tour to London Pierre Jean Grosley / Livro Capa mole
common.buy 22.83 €
Boxer's Bible of Counterpunching Mark Hatmaker / Livro Capa mole
common.buy 9.19 €

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