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

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 222 b
91.75 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Mapa National Portugal, Madeira 2021 / Livro binding.
common.buy 10.60 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Livro Capa mole
common.buy 8.58 €
L'enfant du mistral Jean-Michel Thibaux / Livro Capa mole
common.buy 7.97 €
Régression avec Python Rouvière / Livro Capa mole
common.buy 34.15 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Livro Capa mole
common.buy 12.92 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Livro Capa mole
common.buy 14.84 €
Pays natal Dhotel / Livro Capa mole
common.buy 11.51 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Livro Capa mole
common.buy 47.48 €
Grundlagen des Zeichnens John Ruskin / Livro Livro de capa dura
common.buy 18.99 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Livro Capa mole
common.buy 7.97 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Livro Capa mole
common.buy 63.65 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Livro Capa mole
common.buy 16.56 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Livro Capa mole
common.buy 36.77 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Livro Capa mole
common.buy 16.46 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Livro Capa mole
common.buy 23.43 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Livro Capa mole
common.buy 18.89 €
Aggressiv Flirten Michael Wiesner / Livro Capa mole
common.buy 11.91 €
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 18.18 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Livro Capa mole
common.buy 47.28 €
Grundformen der Angst Fritz Riemann / Livro Livro de capa dura
common.buy 19.39 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Livro Capa mole
common.buy 81.24 €

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 58.30 €
Julissa's Reading Log Martha Day Zschock / Livro Livro de capa dura
common.buy 12.82 €
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 31.52 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Livro Capa mole
common.buy 23.03 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Livro Livro de capa dura
common.buy 20.50 €
Winter of Ice and Iron Rachel Neumeier / Livro Capa mole
common.buy 11.61 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Livro Capa mole
common.buy 5.35 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Livro Capa mole
common.buy 7.27 €
Resurrecting Artwork MCGUIRE / Livro Capa mole
common.buy 10.80 €
Hydrogeology Dassargues / Livro Livro de capa dura
common.buy 97.10 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Livro Livro de capa dura
common.buy 151.97 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Livro Capa mole
common.buy 6.96 €
Business Result: Elementary: Class Audio CD David Grant / Áudio CD de áudio
common.buy 30.20 €
State Crisis in Fragile Democracies Samuel Handlin / Livro Capa mole
common.buy 41.42 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Livro Livro de capa dura
common.buy 91.64 €
Understanding Gangs and Gang Violence in America MORALES / Livro Capa mole
common.buy 108.72 €
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 11.41 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Livro Capa mole
common.buy 31.62 €
Sailor's Logbook Mark L. Thompson / Livro Capa mole
common.buy 28.89 €
Ethical and Professional Issues in Nursing W Tadd / Livro Capa mole
common.buy 55.77 €
Pippi Longstocking Astrid Lindgren / Livro Capa mole
common.buy 8.38 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Livro Capa mole
common.buy 174.81 €
Love Wins Elizabeth Martin / E-book Adobe ePub DRM
common.buy 3.83 €
Formal Logic P. Lorenzen / Livro Capa mole
common.buy 91.75 €

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