Summer Reading 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


    Original Essays | July 14, 2015

    Joshua Mohr: IMG Your Imagination, Your Fingerprint



    When I was in grad school, a teacher told our workshop that if a published novel is 300 pages, the writer had to generate 1,200 along the way. I... Continue »
    1. $17.50 Sale Hardcover add to wish list

      All This Life

      Joshua Mohr 9781593766030

    spacer
Qualifying orders ship free.
$108.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- Systems Analysis and Design

This title in other editions

Other titles in the Lecture Notes in Computer Science series:

Tools & Algorithms for the Construction & Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers

by

Tools & Algorithms for the Construction & Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers Cover

 

Synopses & Reviews

Publisher Comments:

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

Product Details

ISBN:
9783540606307
Author:
Brinksma, Ed
Publisher:
Springer
Editor:
Larsen, Kim G.
Editor:
Cleaveland, W. Rance
Author:
Cleaveland, W. Rance
Author:
Steffen, Bernhard
Author:
Margaria, Tiziana
Author:
Larsen, Kim G.
Location:
Berlin, Heidelberg
Subject:
Electronic data processing
Subject:
Computer software
Subject:
System design
Subject:
Electronic data processing -- Distributed processing -- Congress.
Subject:
Logic Design
Subject:
Networking - General
Subject:
Programming - Software Development
Subject:
Software Development & Engineering - General
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
Programming - General
Subject:
Distributed systems
Subject:
Echtzeitsysteme
Subject:
hybrid systems
Subject:
model checking
Subject:
Modelprüfung
Subject:
Real Time systems
Subject:
Verification Algorithms
Subject:
Verifikationsalgorithmen
Subject:
Verteilte Systeme
Subject:
Logics and Meanings of Programs
Subject:
Software engineering
Subject:
Computer Communication Networks
Subject:
Software Engineering-Systems Analysis and Design
Subject:
Computer Science
Subject:
Language, literature and biography
Copyright:
Edition Description:
Book
Series:
Lecture notes in computer science ;
Series Volume:
71019
Publication Date:
19951220
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
298
Dimensions:
235 x 155 mm 960 gr

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Systems Analysis and Design

Tools & Algorithms for the Construction & Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 298 pages Springer-Verlag New York, Incorporated - English 9783540606307 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.