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

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Patrick Godefroid
Código Libristo: 01560970
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Descrição completa
? points 132 b
54.47 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Die Transformatoren R. Küchler / Livro Capa mole
common.buy 81.30 €
Em breve
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Jogo/brinquedo Brinquedo
common.buy 78.87 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 2.72 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-book Adobe ePub DRM
common.buy 0.90 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Livro Capa mole
common.buy 6.77 €
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Livro Capa mole
common.buy 19.43 €
Global Tools (1973-1975) / Livro Livro de capa dura
common.buy 40.60 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Livro Capa mole
common.buy 29.86 €
Ineos Grenadier Jörg Sand / Livro Livro de capa dura
common.buy 15.28 €
Šťastie na prenájom Lucia Braunová / Livro Capa mole
common.buy 7.89 €
Passwort Logbuch Uwe H. Sültz / Livro Capa mole
common.buy 4.85 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Livro Livro
common.buy 8.09 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Livro Capa mole
common.buy 11.53 €
La Region Mas Transparente Carlos Fuentes / Livro Capa mole
common.buy 16.39 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Livro Capa mole
common.buy 42.82 €
Aronia - Das heimische Superfood Tanja Braune / Livro Capa mole
common.buy 16.29 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Livro Capa mole
common.buy 6.17 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Livro Capa mole
common.buy 26.01 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Livro Capa mole
common.buy 16.60 €
Les Petits Loustics Hugues Denisot / Livro Capa mole
common.buy 14.67 €
Ingenieurbauführer Berlin Roland May / Livro Capa mole
common.buy 26.82 €
Main de fer et gant de velours Virginie Platel / Livro Capa mole
common.buy 21.76 €
En Ovantad flykt till Sverige Tadesse Kassa / Livro Capa mole
common.buy 11.53 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Livro Capa mole
common.buy 7.69 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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 Patrick Godefroid
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2005
Número de páginas 292
EAN 9783540281955
ISBN 3540281959
Código Libristo 01560970
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 960
Dimensões 155 x 235 x 17

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

GREAT CAROLS Hal Leonard Corp / Livro Capa mole
common.buy 13.26 €
Across the Seasons Laura Rugel Glise / Livro Capa mole
common.buy 19.23 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Livro Capa mole
common.buy 20.04 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Livro Livro de capa dura
common.buy 209.30 €
Home On Bramble Hill Holly Martin / Audiolivro MP3
common.buy 15.38 €
Not in the Flesh Ruth Rendell / Livro Capa mole
common.buy 15.58 €
Lakeland Lynn M. Homan / Livro Capa mole
common.buy 20.85 €
White Cats Book Marjo-Kaisu Niinikoski / Livro Capa mole
common.buy 20.95 €
Gabriella's Reading Log Martha Day Zschock / Livro Livro de capa dura
common.buy 15.79 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Livro Capa mole
common.buy 35.74 €
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Livro Livro de capa dura
common.buy 9.10 €
Lightning Strikes Stephanie Richards / Livro Capa mole
common.buy 13.56 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Livro Capa mole
common.buy 8.50 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Livro Capa mole
common.buy 14.07 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Livro Capa mole
common.buy 9.51 €
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 1.21 €
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Livro Capa mole
common.buy 8.70 €
Horrible Craft Book Laura Minter / Livro Capa mole
common.buy 15.79 €
Understanding FIDIC Kelvin Hughes / Livro Livro de capa dura
common.buy 178.11 €
Georgian Tinatin Bolkvadze / Livro Livro de capa dura
common.buy 188.54 €
Fishing Holidays Stephen Gwynn / Livro Capa mole
common.buy 24.09 €
Fist Number 6 Dean Whittington / Livro Livro de capa dura
common.buy 27.23 €
Principal
Fun Card English Present Perfect vs Past Simple Dwornik Paweł / Artigos impressos Cartões
common.buy 7.28 €
African Women and Apartheid Rebekah Lee / Livro Livro de capa dura
common.buy 195.12 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?