Minecraft Adventures B2G1 Free
 
 

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


    Interviews | August 12, 2015

    Jill Owens: IMG Eli Gottlieb: The Powells.com Interview



    Eli GottliebEli Gottlieb has done something unusual — he's written two novels, 20 years apart, from opposing but connected perspectives. The Boy Who Went... Continue »
    1. $17.47 Sale Hardcover add to wish list

      Best Boy

      Eli Gottlieb 9781631490477

    spacer
Qualifying orders ship free.
$69.99
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
1 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 (edt)
Publisher:
Springer
Author:
Simao, Adenilso
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
$69.99 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.