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

Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Tools and Algorithms for the Construction and Analysis of Systems Susanne Graf
Código Libristo: 01567317
Editoras Springer, Berlin, novembro 1999
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algo... Descrição completa
? points 280 b
114.91 €
Armazenamento externo Envio em 10-16 dias

Até 30 dias para devoluções

Os clientes também compraram

Grand évangile de Jean - T. 6 Lorber / Livro Livro
common.buy 26.01 €
50 devinettes pour raisonner 7-9 ans Roger Rougier / Livro Capa mole
common.buy 10.24 €
Minik Fare FA ile TO / Livro Capa mole
common.buy 10.64 €
Cobble Hill Vintage Weihnachtsshopping 1000 Teile / Jogo/brinquedo Jogo
common.buy 21.99 €
Meurtres Plisnier Charles / Livro Capa mole
common.buy 13.55 €
Seligpreisungen als Weg zum Gluck Tilman Gerstner / Livro Capa mole
common.buy 17.77 €
Critique 711-712 Aux quatre vents de la Caraïbe / Livro Livro
common.buy 17.97 €
"Vous, les politiques..." Francis Mer / Livro Capa mole
common.buy 27.41 €
Mágikus numerológia Elmer Warner / Livro Capa mole
common.buy 6.02 €
Grenaa i vikingetid og middelalder Mogens M?ller / Livro Livro de capa dura
common.buy 42.58 €
Wortdunung Manfred Friedrich Kolb / Livro Capa mole
common.buy 7.72 €
Gedanken über Goethe (Auswahl) Victor Hehn / Livro Livro de capa dura
common.buy 51.44 €
Derecho comunitario de la inmigración Pablo Antonio Fernández Sánchez / Livro Capa mole
common.buy 42.08 €
Die Tagebücher 1. Gesammelte Werke und Tagebücher. 38/1. Abt. Bd. 28 Hayo Gerdes / Livro Capa mole
common.buy 26.92 €
Mahfuz Meric Dönük / Áudio CD de áudio
common.buy 17.27 €
Lettres Inedites Du General Belliard A Son Compatriote Et Ami Cochon de Lapparent Belliard-A-D / Livro Capa mole
common.buy 13.25 €
Bugeln mit Evian Mathias Wollweber / Livro Capa mole
common.buy 7.52 €

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

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 Tools and Algorithms for the Construction and Analysis of Systems
Autor Susanne Graf, Michael Schwartzbach
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2000
Número de páginas 552
EAN 9783540672821
ISBN 3540672826
Código Libristo 01567317
Editoras Springer, Berlin
Peso 741
Dimensões 155 x 233 x 29

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
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 > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas
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

Equations and Analytical Tools in Mathematical Physics Yichao Zhu / Livro Capa mole
common.buy 161.52 €
Principal
Salvage the Bones Jesmyn Ward / Livro Capa mole
common.buy 10.34 €
Rose and the Lily Brother James / Livro Capa mole
common.buy 16.06 €
CBT Workbook Stephanie Fitzgerald / Livro Capa mole
common.buy 19.08 €
Regulation of Commerce Under the Federal Constitution. Thomas H Calvert / Livro Capa mole
common.buy 25.72 €
The Joy of Living: 7 Steps to Give Up Worry, Open Your Heart, and Love Your Life! Jim Koehneke Ma / Livro Capa mole
common.buy 12.05 €
Tiny House: The Definitive Manual To Tiny Houses: Home Construction, Interior Design, Tiny House Living Mason Algarotti / Livro Capa mole
common.buy 13.26 €
Jimmie Higgins Upton Sinclair / Livro Capa mole
common.buy 14.66 €
Fostering Local Entrepreneurship in a Multinational Enterprise Joe Amberg / Livro Livro de capa dura
common.buy 259.26 €
Principal
Stoicism: A Very Short Introduction Inwood / Livro Capa mole
common.buy 11.04 €
AP Q&A Statistics Martin Sternstein / Livro Capa mole
common.buy 20.99 €
Shape of Shit to Come Alan McArthur / E-book Adobe ePub DRM
common.buy 6.02 €
Lonely Planet Munich, Bavaria & the Black Forest Planet Lonely / Livro Capa mole
common.buy 30.13 €
Principal
Hungarians - A Thousand Years of Victory in Defeat Ann Major / Livro Capa mole
common.buy 19.78 €
Sovereign: A Handbook for Maintaining Personal Mastery in all Affairs Sylvia R Swann / Livro Capa mole
common.buy 10.24 €
Elements Of Gaelic Grammar: In Four Parts Alexander Stewart / Livro Livro de capa dura
common.buy 38.98 €
windsor Farmes: A Glimpse Of An Old Parish, Together With The Deciphered Inscriptions From A Few Foundation Stones Of A Much Abused Th John Alden Stoughton / Livro Livro de capa dura
common.buy 31.43 €
Golden Calf Helene Tursten / Livro Capa mole
common.buy 14.15 €
Letters of Amerigo Vespucci, and Other Documents Illustrative of his Career Clements R. Markham / Livro Capa mole
common.buy 36.45 €
Delivering Public Services Effectively S. Vivek / Livro Livro de capa dura
common.buy 38.46 €
Critical Resistance David Couzens Hoy / Livro Livro de capa dura
common.buy 46.20 €
Primal Wound John Firman / Livro Capa mole
common.buy 41.98 €
A SATIRICAL DIALOGUE: OR A SHARPLYE-INVE WILLIAM GODDARD / Livro Capa mole
common.buy 17.27 €
Ring and the Book, Etc. Robert Browning / Livro Capa mole
common.buy 27.61 €

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?