«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods and Software Engineering

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

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods and Software Engineering Karin Breitman
Código Libristo: 01655066
Editores Springer, Berlin, octubre 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

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

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 757
EAN 9783642103728
ISBN 3642103723
Código Libristo 01655066
Editores Springer, Berlin
Peso 1169
Dimensiones 155 x 235 x 30

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Libro Tapa blanda
common.buy 71.99 €
Julissa's Reading Log Martha Day Zschock / Libro Tapa dura
common.buy 16.49 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Libro Tapa dura
common.buy 38.99 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Libro Tapa blanda
common.buy 27.89 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Libro Tapa dura
common.buy 24.99 €
Winter of Ice and Iron Rachel Neumeier / Libro Tapa blanda
common.buy 14.99 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Libro Tapa blanda
common.buy 6.49 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Libro Tapa blanda
common.buy 8.89 €
Resurrecting Artwork MCGUIRE / Libro Tapa blanda
common.buy 13.69 €
Hydrogeology Dassargues / Libro Tapa dura
common.buy 119.29 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Libro Tapa dura
common.buy 187.89 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Libro Tapa blanda
common.buy 8.49 €
Business Result: Elementary: Class Audio CD David Grant / Audio CD de audio
common.buy 37.19 €
State Crisis in Fragile Democracies Samuel Handlin / Libro Tapa blanda
common.buy 49.79 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Libro Tapa dura
common.buy 112.89 €
Understanding Gangs and Gang Violence in America MORALES / Libro Tapa blanda
common.buy 133.89 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Libro Tapa blanda
common.buy 14.69 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Libro Tapa blanda
common.buy 38.49 €
Sailor's Logbook Mark L. Thompson / Libro Tapa blanda
common.buy 35.49 €
Ethical and Professional Issues in Nursing W Tadd / Libro Tapa blanda
common.buy 68.69 €
Pippi Longstocking Astrid Lindgren / Libro Tapa blanda
common.buy 10.99 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Libro Tapa blanda
common.buy 205.09 €
Love Wins Elizabeth Martin / Libro electrónico Adobe ePub DRM
common.buy 4.89 €
Formal Logic P. Lorenzen / Libro Tapa blanda
common.buy 112.79 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo