Software Engineering and Formal Methods (English, Gilles Barthe | Alberto Pardo | Gerardo Schneider)
by Gilles Barthe | Alberto Pardo | Gerardo Schneider
Delivery options
Software Engineering and Formal Methods by Gilles Barthe | Alberto Pardo | Gerardo Schneider is listed under Programming on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642246890
ISBN-10
3642246893
Author
Gilles Barthe | Alberto Pardo | Gerardo Schneider
About the Book
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted…
ISBN: 9783642246890
ISBN-13: 9783642246890
ISBN-10: 3642246893
Reader's Guide
What This Book Covers
- ·The main subject matter of Software Engineering and Formal Methods
- ·Ideas and detail relevant to Programming
- ·Context that helps make sense of the material as a whole
Best Suited For
Programmers and students learning to build software.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Software Engineering and Formal Methods?
Software Engineering and Formal Methods starts from ₹5652 at BookBajar. Available in Paperback.
Who is the author of Software Engineering and Formal Methods?
Gilles Barthe | Alberto Pardo | Gerardo Schneider is the author of Software Engineering and Formal Methods. Browse more books by Gilles Barthe | Alberto Pardo | Gerardo Schneider on BookBajar.
Is Software Engineering and Formal Methods available in Paperback and Hardcover?
Yes, Software Engineering and Formal Methods is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Software Engineering and Formal Methods?
Yes, BookBajar offers free delivery for Software Engineering and Formal Methods across India. No minimum order value required.
Is Cash on Delivery available for Software Engineering and Formal Methods?
Yes, Cash on Delivery (COD) is available for Software Engineering and Formal Methods on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Software Engineering and Formal Methods?
Software Engineering and Formal Methods can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Software Engineering and Formal Methods?
Software Engineering and Formal Methods has ISBN 9783642246890 (ISBN-10: 3642246893). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Software Engineering and Formal Methods?
About the Book This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
Product ID: isbn-9783642246890
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637