No Words Wasted Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | January 5, 2015

    Frances E. Jensen: IMG What You Don't Know about the Teenage Brain



    Things were changing in our household: the teen years had intruded into our otherwise harmonious, do-as-mom-tells-you relatively orderly world. As... Continue »
    1. $19.59 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$77.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- General

More copies of this ISBN

Other titles in the Lecture Notes in Computer Science series:

Lecture Notes in Computer Science / Programming and Software #7021: Formal Methods: Foundations and Applications: 14th Brazilian Symposium, Sbmf 2011, Sao Paulo, September 26-30 2011, Proceedings

by

Lecture Notes in Computer Science / Programming and Software #7021: Formal Methods: Foundations and Applications: 14th Brazilian Symposium, Sbmf 2011, Sao Paulo, September 26-30 2011, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

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.

Product Details

ISBN:
9783642250316
Author:
Simao, Adenilso
Publisher:
Springer
Author:
Morgan, Carroll
Subject:
Programming - Software Development
Subject:
Fault tolerance
Subject:
Model Driven Engineering
Subject:
OPTIMIZATION
Subject:
Theorem Proving
Subject:
Verification
Subject:
Software engineering
Subject:
Logics and Meanings of Programs
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Programming techniques
Subject:
Mathematical Logic and Formal Languages
Subject:
Management of Computing and Information Systems
Subject:
Mathematics-Logic and Philosophy
Subject:
Software Engineering-General
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Programming and Software Engineering
Series Volume:
7021
Publication Date:
20111210
Binding:
TRADE PAPER
Language:
English
Pages:
215
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Programming and Software #7021: Formal Methods: Foundations and Applications: 14th Brazilian Symposium, Sbmf 2011, Sao Paulo, September 26-30 2011, Proceedings New Trade Paper
0 stars - 0 reviews
$77.50 In Stock
Product details 215 pages Springer - English 9783642250316 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.