Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Paperback, 2013 ed.) Loot Price: R1,913
Discovery Miles 19 130
Repayment Terms: R179 pm x 12*
Add to cart
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012,...

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Paperback, 2013 ed.)

Elena Giachino, Reiner Hahnle, Frank S De Boer, Marcello M. Bonsangue

Series: Programming and Software Engineering, 7866

 (sign in to rate)
Loot Price R1,913 Discovery Miles 19 130 | Repayment Terms: R179 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Programming and Software Engineering, 7866
Release date: August 2013
First published: 2013
Editors: Elena Giachino • Reiner Hahnle • Frank S De Boer • Marcello M. Bonsangue
Dimensions: 235 x 155 x 13mm (L x W x T)
Format: Paperback
Pages: 241
Edition: 2013 ed.
ISBN-13: 978-3-642-40614-0
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-642-40614-9
Barcode: 9783642406140

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,256 R1,170 Discovery Miles 11 700
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Essential Java for Scientists and Engineers (Paperback): Brian Hahn, Katherine Malan
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,266 Discovery Miles 12 660
The Business Analyst - Information Technology?s Paradigm Shift (Paperback): Vernon Zwiers
The Business Analyst - Information…
Vernon Zwiers Paperback R657 R606 Discovery Miles 6 060
Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R860 R741 Discovery Miles 7 410
Advances in Computers, Volume 130 (Hardcover): Ali Hurson
Advances in Computers, Volume 130
Ali Hurson Hardcover R3,930 Discovery Miles 39 300
Principles of Big Graph: In-depth Insight, Volume 128 (Hardcover): Ripon Patgiri, Ganesh Chandra Deka, Anupam Biswas
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R3,925 Discovery Miles 39 250
Perspective of DNA Computing in Computer Science, Volume 129 (Hardcover): Suyel Namasudra
Perspective of DNA Computing in Computer…
Suyel Namasudra Hardcover R3,925 Discovery Miles 39 250
Modern Software Engineering - Doing What Works to Build Better Software Faster (Paperback): David Farley
Modern Software Engineering - Doing What…
David Farley Paperback R860 R741 Discovery Miles 7 410
Advances in Computers, Volume 124 (Hardcover): Suyel Namasudra
Advances in Computers, Volume 124
Suyel Namasudra Hardcover R3,941 Discovery Miles 39 410
Data Prefetching Techniques in Computer Systems, Volume 125 (Hardcover): Pejman Lotfi-Kamran, Hamid Sarbazi-Azad
Data Prefetching Techniques in Computer…
Pejman Lotfi-Kamran, Hamid Sarbazi-Azad Hardcover R3,923 Discovery Miles 39 230

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners