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 > Programming languages

Buy Now

Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Paperback, 2011) Loot Price: R1,726
Discovery Miles 17 260
Repayment Terms: R162 pm x 12*
Add to cart
Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011,...

Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Paperback, 2011)

Adenilso Simao, Carroll Morgan

Series: Lecture Notes in Computer Science, 7021

 (sign in to rate)
Loot Price R1,726 Discovery Miles 17 260 | Repayment Terms: R162 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 7021
Release date: October 2011
First published: 2011
Editors: Adenilso Simao • Carroll Morgan
Dimensions: 235 x 155 x 13mm (L x W x T)
Format: Paperback
Pages: 205
Edition: 2011
ISBN-13: 978-3-642-25031-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-642-25031-9
Barcode: 9783642250316

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..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,189 R1,762 Discovery Miles 17 620
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
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
Microcontroller Projects in C for the 8051 Family (Paperback, Reprint): Dogan Ibrahim
Microcontroller Projects in C for the…
Dogan Ibrahim Paperback R1,455 Discovery Miles 14 550
FORTRAN 90 for Scientists and Engineers (Paperback): Brian Hahn
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,359 Discovery Miles 13 590
Introduction to Computational Economics Using Fortran (Hardcover): Hans Fehr, Fabian Kindermann
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R4,258 Discovery Miles 42 580
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,273 Discovery Miles 12 730
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,458 Discovery Miles 24 580
Switched-Mode Power Supply Simulation with SPICE - The Faraday Press Edition (Hardcover): Steven M. Sandler
Switched-Mode Power Supply Simulation…
Steven M. Sandler Hardcover R1,404 Discovery Miles 14 040
Python For Beginners - Learn Python In 5 Days With Step-by-Step Guidance And Hands-On Exercises (Python Programming, Python...
Python For Beginners - Learn Python In 5…
James Tudor Hardcover R667 Discovery Miles 6 670
Get Started Programming with Python - Give Your Professional Possibilities a Boost by Learning the Python Programming Language...
Get Started Programming with Python…
Manuel Mcfeely Hardcover R756 R660 Discovery Miles 6 600

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