logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings - Karin Breitman, Ana Cavalcanti
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783642103728 (3642103723)
Publisher: Springer
Pages no: 758
Edition language: English
Bookstores:
Books by Karin Breitman
Video Processing in the Cloud - Rafael Silva Pereira, Karin Breitman
Engineering of Complex Computer Systems ... Engineering of Complex Computer Systems - Karin Breitman
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings - Karin Breitman, Ana Cavalcanti
Software Engineering Workshop; Proceedin... Software Engineering Workshop; Proceedings: IEEE Software Engineering Workshop (32nd: C008: Kassandra, Greece) - Karin Breitman
Semantic Web: Concepts, Technologies and Applications - Karin Breitman, Walt Truszkowski
Patterns, Programming and Everything - N... Patterns, Programming and Everything - Nigel Horspool, Karin Breitman, R. Nigel Horspool
Patterns, Programming and Everything - K... Patterns, Programming and Everything - Karin Breitman, R. Nigel Horspool
Books by Ana Cavalcanti
Theoretical Aspects of Computing: ICTAC 2010 - Ana Cavalcanti
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) - Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Theoretical Aspects of Computing - Ictac 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures - Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
Refinement Techniques In Software Engineering: First Pernambuco Summer School On Software Engineering, Psse 2004, Recife, Brazil, November 23 December ... / Programming And Software Engineering) - Ana Cavalcanti
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings - Karin Breitman, Ana Cavalcanti
Refinement Techniques in Software Engine... Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... / Programming and Software Engineering) - Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.