The Fictioning Horror Sale
 
 

Recently Viewed clear list


Interviews | September 2, 2014

Jill Owens: IMG David Mitchell: The Powells.com Interview



David MitchellDavid Mitchell's newest mind-bending, time-skipping novel may be his most accomplished work yet. Written in six sections, one per decade, The Bone... Continue »
  1. $21.00 Sale Hardcover add to wish list

    The Bone Clocks

    David Mitchell 9781400065677

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.