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

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods and Software Engineering Karin Breitman
Código Libristo: 01655066
Editoras Springer, Berlin, outubro 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Descrição completa
? points 263 b
108.22 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Mapa National Portugal, Madeira 2021 / Livro binding.
common.buy 11.99 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Livro Capa mole
common.buy 9.67 €
L'enfant du mistral Jean-Michel Thibaux / Livro Capa mole
common.buy 8.97 €
Régression avec Python Rouvière / Livro Capa mole
common.buy 39.33 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Livro Capa mole
common.buy 15.12 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Livro Capa mole
common.buy 17.54 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Livro Capa mole
common.buy 54.05 €
Grundlagen des Zeichnens John Ruskin / Livro Livro de capa dura
common.buy 22.89 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Livro Capa mole
common.buy 9.37 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Livro Capa mole
common.buy 75.44 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Livro Capa mole
common.buy 19.86 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Livro Capa mole
common.buy 42.35 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Livro Capa mole
common.buy 19.36 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Livro Capa mole
common.buy 25.21 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Livro Capa mole
common.buy 20.36 €
Aggressiv Flirten Michael Wiesner / Livro Capa mole
common.buy 14.21 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Livro Livro de capa dura
common.buy 21.68 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Livro Capa mole
common.buy 55.77 €
Grundformen der Angst Fritz Riemann / Livro Livro de capa dura
common.buy 22.99 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Livro Capa mole
common.buy 105.70 €

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time 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 Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2009
Número de páginas 757
EAN 9783642103728
ISBN 3642103723
Código Libristo 01655066
Editoras Springer, Berlin
Peso 1169
Dimensões 155 x 235 x 30

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 > Teoria matemática da informática
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

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Livro Capa mole
common.buy 68.98 €
Julissa's Reading Log Martha Day Zschock / Livro Livro de capa dura
common.buy 15.73 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Livro Livro de capa dura
common.buy 37.31 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Livro Capa mole
common.buy 26.82 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Livro Livro de capa dura
common.buy 24.00 €
Winter of Ice and Iron Rachel Neumeier / Livro Capa mole
common.buy 14.21 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Livro Capa mole
common.buy 6.24 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Livro Capa mole
common.buy 8.56 €
Resurrecting Artwork MCGUIRE / Livro Capa mole
common.buy 13.10 €
Hydrogeology Dassargues / Livro Livro de capa dura
common.buy 112.76 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Livro Livro de capa dura
common.buy 180.03 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Livro Capa mole
common.buy 8.26 €
Business Result: Elementary: Class Audio CD David Grant / Áudio CD de áudio
common.buy 35.09 €
State Crisis in Fragile Democracies Samuel Handlin / Livro Capa mole
common.buy 48.00 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Livro Livro de capa dura
common.buy 106.81 €
Understanding Gangs and Gang Violence in America MORALES / Livro Capa mole
common.buy 126.58 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Livro Capa mole
common.buy 13.91 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Livro Capa mole
common.buy 35.19 €
Sailor's Logbook Mark L. Thompson / Livro Capa mole
common.buy 35.49 €
Ethical and Professional Issues in Nursing W Tadd / Livro Capa mole
common.buy 61.32 €
Pippi Longstocking Astrid Lindgren / Livro Capa mole
common.buy 10.38 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Livro Capa mole
common.buy 198.80 €
Love Wins Elizabeth Martin / E-book Adobe ePub DRM
common.buy 4.63 €
Formal Logic P. Lorenzen / Livro Capa mole
common.buy 108.22 €

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?