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

Computer Aided Verification

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Kousha Etessami
Código Libristo: 01560845
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Descrição completa
? points 222 b
91.75 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Bombolles i tovallola MÜHLE JÖRG / Livro Livro de capa dura
common.buy 14.84 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Livro Capa mole
common.buy 18.18 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Livro Capa mole
common.buy 9.49 €
Koordinationstraining im Golf Marc Müller-Dargusch / Livro Capa mole
common.buy 26.67 €
A l'aube des heures fertiles Debarle / Livro Capa mole
common.buy 18.99 €
Histoire des Associations familiales catholiques Michel Emmanuel / Livro Capa mole
common.buy 22.22 €
Voyage au bout du monde Chang / Livro Capa mole
common.buy 15.15 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Livro Capa mole
common.buy 44.05 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Livro Capa mole
common.buy 9.69 €
Fragiler Pluralismus Hans-Georg Soeffner / Livro Capa mole
common.buy 31.92 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Livro Livro de capa dura
common.buy 308.61 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Livro Capa mole
common.buy 37.78 €
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Livro Folha
common.buy 7.57 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Livro Capa mole
common.buy 31.42 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Livro Capa mole
common.buy 51.02 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Livro Capa mole
common.buy 12.62 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and 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 Computer Aided Verification
Autor Kousha Etessami, Sriram K. Rajamani
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2005
Número de páginas 568
EAN 9783540272311
ISBN 3540272313
Código Libristo 01560845
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1800
Dimensões 155 x 235 x 32

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
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 > Ciência informática > Inteligência artificial
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

Contemporary Electroanalytical Chemistry A. Ivaska / Livro Livro de capa dura
common.buy 183.20 €
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Livro Livro de capa dura
common.buy 36.67 €
Flyleaf Volume One: 2014 Flyleaf Journal / Livro Capa mole
common.buy 8.78 €
Rogues and Vagabonds George R Sims / Livro Capa mole
common.buy 12.52 €
The Claverings Anthony Trollope / Livro Capa mole
common.buy 13.94 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Livro Capa mole
common.buy 10.90 €
Ucoa: The Biker Experience Thomas Zimmer / Livro Capa mole
common.buy 46.78 €
Big Data Hai Jin / Livro Capa mole
common.buy 45.97 €
The Great Boer War Arthur Conan Doyle / Livro Capa mole
common.buy 16.76 €
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Livro Capa mole
common.buy 11.81 €
Handbook of Essential Oils K. Husnu Can Baser / Livro Livro de capa dura
common.buy 288.09 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Livro Capa mole
common.buy 15.65 €
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Livro Capa mole
common.buy 12.72 €
Submissive Training More Sex More Fun Book Club / Livro Capa mole
common.buy 13.33 €
Our World 6: Grammar Workbook CRANDALL SHIN / Livro Folha
common.buy 17.47 €
Max and Moritz Stefan Hollos / Livro Capa mole
common.buy 17.88 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Livro Capa mole
common.buy 22.93 €
Body Intelligence Ph.D. Joseph Cardillo / Audiolivro MP3
common.buy 12.72 €
Decisive Endgame Mikael Carlson / Livro Capa mole
common.buy 12.52 €
Digital Nomads B. Vincent / Livro Capa mole
common.buy 10.90 €
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Livro Livro de capa dura
common.buy 15.75 €
Culture, Ethnicity, and Personal Relationship Processes Gaines / Livro Livro de capa dura
common.buy 172.18 €
Business Basics International Edition: Teacher's Book David Grant / Livro Capa mole
common.buy 13.13 €
Handbook of Participatory Video E J Milne / Livro Livro de capa dura
common.buy 190.07 €

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