Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Formal Methods and Software Engineering

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

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Karin Breitman
Libristo code: 01655066
Publishers Springer, Berlin, October 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Full description
? points 263 b
108.72 €
212.63  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Book Paperback
common.buy 16.73 € 32.71 лв
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Book Paperback
common.buy 16.78 € 32.81 лв
Mapa National Portugal, Madeira 2021 / Book binding.
common.buy 13.15 € 25.72 лв
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Book Paperback
common.buy 10.41 € 20.35 лв
L'enfant du mistral Jean-Michel Thibaux / Book Paperback
common.buy 9.73 € 19.04 лв
Régression avec Python Rouvière / Book Paperback
common.buy 42.93 € 83.97 лв
Witold Gombrowicz entre l'Europe et l'Amérique Book Paperback
common.buy 28.64 € 56.01 лв
Pays natal Dhotel / Book Paperback
common.buy 14.91 € 29.17 лв
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Book Paperback
common.buy 58.84 € 115.07 лв
Grundlagen des Zeichnens John Ruskin / Book Hardback
common.buy 22.99 € 44.97 лв
Estudo da influencia do tempo e temperatura no forneamentodebiscoitos Rennan Correia / Book Paperback
common.buy 37.81 € 73.94 лв
Cuentos de amor, de locura y de muerte Horacio Quiroga / Book Paperback
common.buy 9.42 € 18.43 лв
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Book Paperback
common.buy 75.72 € 148.10 лв
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Book Paperback
common.buy 19.94 € 38.99 лв
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Book Paperback
common.buy 46.46 € 90.86 лв
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Book Paperback
common.buy 21.49 € 42.03 лв
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Book Paperback
common.buy 25.32 € 49.53 лв
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Book Paperback
common.buy 20.51 € 40.11 лв
Aggressiv Flirten Michael Wiesner / Book Paperback
common.buy 14.29 € 27.95 лв
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Book Hardback
common.buy 21.80 € 42.64 лв
Marktwirtschaft Im Unternehmen Conrad Mauritz / Book Paperback
common.buy 55.99 € 109.50 лв
Grundformen der Angst Fritz Riemann / Book Hardback
common.buy 23.04 € 45.07 лв
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Book Paperback
common.buy 111.15 € 217.39 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods and Software Engineering
Author Karin Breitman, Ana Cavalcanti
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 757
EAN 9783642103728
ISBN 3642103723
Libristo code 01655066
Publishers Springer, Berlin
Weight 1169
Dimensions 155 x 235 x 30

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Book Paperback
common.buy 69.30 € 135.54 лв
Julissa's Reading Log Martha Day Zschock / Book Hardback
common.buy 15.79 € 30.89 лв
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Book Hardback
common.buy 37.50 € 73.33 лв
Formal Jewelry Karen McKenna / Book Paperback
common.buy 8.44 € 16.50 лв
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Book Paperback
common.buy 26.98 € 52.77 лв
Typical Drama with Cloe-New School=New Life Cloe Demartino / Book Hardback
common.buy 24.13 € 47.20 лв
Winter of Ice and Iron Rachel Neumeier / Book Paperback
common.buy 14.29 € 27.95 лв
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Book Paperback
common.buy 6.26 € 12.25 лв
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Book Paperback
common.buy 8.54 € 16.71 лв
Hydrogeology Dassargues / Book Hardback
common.buy 121.87 € 238.36 лв
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Book Hardback
common.buy 180.82 € 353.64 лв
Ethical and Professional Issues in Nursing W Tadd / Book Paperback
common.buy 61.58 € 120.44 лв
Resurrecting Artwork MCGUIRE / Book Paperback
common.buy 13.15 € 25.72 лв
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 18.02 € 35.24 лв
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Book Paperback
common.buy 8.33 € 16.30 лв
State Crisis in Fragile Democracies Samuel Handlin / Book Paperback
common.buy 48.17 € 94.20 лв
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Book Hardback
common.buy 103.43 € 202.30 лв
Understanding Gangs and Gang Violence in America MORALES / Book Paperback
common.buy 127.10 € 248.59 лв
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Book Paperback
common.buy 14.86 € 29.06 лв
The Treasury of Knowledge and Library Reference Samuel Maunder / Book Paperback
common.buy 37.18 € 72.73 лв
Drum Play-Along Hal Leonard Corp / Book Paperback
common.buy 18.07 € 35.34 лв
Lonely Dead Michael Marshall / Book Paperback
common.buy 18.49 € 36.16 лв
Mukiwa Peter Godwin / Book Paperback
common.buy 12.63 € 24.71 лв
Something Rotten Jasper Fforde / Book Paperback
common.buy 11.23 € 21.97 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?