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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Dragan Bosnacki
Código Libristo: 01568802
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... 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

Grundlinien der Philosophie D. Fr. Ast / Livro Capa mole
common.buy 42.13 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Livro Capa mole
common.buy 33.03 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Livro Capa mole
common.buy 8.38 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Livro Capa mole
common.buy 31.42 €
LES PEINTURES Beeckman / Livro Capa mole
common.buy 9.39 €
Principal
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Livro Capa mole
common.buy 12.12 €
Ötanazi Okulu 1 Ciltli / Livro Capa mole
common.buy 17.98 €
Principal
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Livro Capa mole
common.buy 20.71 €
Pasta Masterclass Wiebke Krabbe / Livro Livro de capa dura
common.buy 22.12 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Livro Capa mole
common.buy 35.56 €
Krevní banka Tanya Huffová / Livro Capa mole
common.buy 7.47 €
Das Quiz für Besserwisser I ab 10 Jahren / Livro Livro de capa dura
common.buy 6.05 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Livro Capa mole
common.buy 29.30 €
Senzibil Markéta Pilátová / Livro Livro de capa dura
common.buy 10.80 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Livro Capa mole
common.buy 22.12 €
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Livro Capa mole
common.buy 14.34 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Livro Capa mole
common.buy 14.95 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Livro Capa mole
common.buy 7.47 €
Económico
Raphael und Pinturicchio in Siena August Schmarsow / Livro Capa mole
common.buy 1.51 €
Sally y la maldición del rubí PULLMAN / Livro Capa mole
common.buy 6.46 €
La psicología en la escuela Delval / Livro Capa mole
common.buy 15.45 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Livro Capa mole
common.buy 47.28 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Dragan Bosnacki, Stefan Edelkamp
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2007
Número de páginas 285
EAN 9783540733690
ISBN 3540733698
Código Libristo 01568802
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 462
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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Livro Capa mole
common.buy 12.52 €
Space Warfare in the 21st Century Joan Johnson-Freese / Livro Capa mole
common.buy 50.82 €
First Man Simon Schwartz / Livro Livro de capa dura
common.buy 31.62 €
Islam in Turkey Frances Hawker / Livro Capa mole
common.buy 6.76 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Livro Capa mole
common.buy 10.40 €
Facebook Marketing Guide for Beginners Steven Murphy / Livro Capa mole
common.buy 9.79 €
Drug And Disease Free Michael Broder / Livro Capa mole
common.buy 8.07 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Livro Livro de capa dura
common.buy 66.79 €
Around the World in 80 Days Jules Verne / Livro Capa mole
common.buy 6.66 €
Principal
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Livro Capa mole
common.buy 31.62 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Livro Capa mole
common.buy 8.98 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Livro Capa mole
common.buy 27.68 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Livro Capa mole
common.buy 14.95 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-book Adobe ePub DRM
common.buy 314.77 €
Centroeuropa Vincente Luis Mora / Livro Capa mole
common.buy 10.20 €
Clinical Oral Pathology Nabil Kochaji / Livro Livro de capa dura
common.buy 89.52 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Livro Livro de capa dura
common.buy 66.99 €
Deregulation of Network Industries Sam Peltzman / Livro Capa mole
common.buy 29.09 €
Little Men Louisa May Alcott / Livro Capa mole
common.buy 9.39 €
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Livro Capa mole
common.buy 158.54 €
Swahili for Foreigners Alice Wanjiku Mangat / Livro Capa mole
common.buy 43.14 €
Preaching the Tradition Rex Mason / Livro Capa mole
common.buy 41.42 €
Contact! Bob Tuxford / Livro Livro de capa dura
common.buy 26.36 €
MOD Richard Weight / Livro Capa mole
common.buy 13.83 €

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