Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01655066
Price: 102.99 EUR
Availability: InStock
Author: Karin Breitman
ISBN: 9783642103728

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

Karin Breitman

Ana Cavalcanti

Language

English

Book Paperback

Libristo code: 01655066

Publishers Springer, Berlin, October 2009

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Full description

Libristo code: 01655066

249 b

102.99 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Mapa National Portugal, Madeira 2021

binding.

12.74 €

Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa

Paperback

10.41 €

L'enfant du mistral Jean-Michel Thibaux

Paperback

9.60 €

Régression avec Python Rouvière

Paperback

41.47 €

S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari

Paperback

16.28 €

Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин

Paperback

15.77 €

Pays natal Dhotel

Paperback

13.95 €

ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN

Paperback

56.65 €

Grundlagen des Zeichnens John Ruskin

Hardback

21.64 €

Cuentos de amor, de locura y de muerte Horacio Quiroga

Paperback

9.40 €

Handbuch Psychotherapie-Antrag Ingo Jungclaussen

Paperback

71.62 €

Mark Aurels Selbstgesprache Marcus Aurelius Antonius

Paperback

18.81 €

Curso de derecho administrativo laboral Ángel Blasco Pellicer

Paperback

44.51 €

LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER

Paperback

20.53 €

Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair

Paperback

27.21 €

Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G

Paperback

22.15 €

Aggressiv Flirten Michael Wiesner

Paperback

13.55 €

Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq

Hardback

20.53 €

Marktwirtschaft Im Unternehmen Conrad Mauritz

Paperback

53.11 €

Grundformen der Angst Fritz Riemann

Hardback

21.74 €

Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas

Paperback

95.50 €

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.