Nonficionado 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


    Q&A | May 11, 2015

    Heidi Pitlor: IMG Powell’s Q&A: Heidi Pitlor



    Describe your latest book. My novel, The Daylight Marriage, is about a wife and mother who goes missing one day. The narrative alternates between... Continue »

    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 Networking- General

This title in other editions

Other titles in the Lecture Notes in Computer Science / Programming and Software series:

Lecture Notes in Computer Science / Programming and Software #5570: Reliable Software Technologies - ADA-Europe 2009: 14th ADA-Europe International Conference, Brest, France, June 8-12, 2009, Proceedi

by

Lecture Notes in Computer Science / Programming and Software #5570: Reliable Software Technologies - ADA-Europe 2009: 14th ADA-Europe International Conference, Brest, France, June 8-12, 2009, Proceedi Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

Product Details

ISBN:
9783642019234
Author:
Kordon, Fabrice
Publisher:
Springer
Author:
Kermarrec, Yvon
Subject:
Networking - General
Subject:
Software Development & Engineering - Systems
Subject:
Programming Languages - General
Subject:
Programming - Software Development
Subject:
Ada
Subject:
Ada 2005
Subject:
code generation
Subject:
execution-time analysis
Subject:
high-integrity environment
Subject:
java multithreading
Subject:
metamodeling
Subject:
model checking
Subject:
Petri nets
Subject:
process algebra
Subject:
Real Time systems
Subject:
requirements engineering
Subject:
safety requirements
Subject:
security requirements
Subject:
Software engineering
Subject:
UML
Subject:
Verification
Subject:
Programming techniques
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Software Engineering/Programming and Operating Systems
Subject:
System Performance and Evaluation
Subject:
Performance and Reliability
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Programming and Software Engineering
Series Volume:
5570
Publication Date:
20090531
Binding:
TRADE PAPER
Language:
English
Pages:
297
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Networking » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Systems Analysis and Design

Lecture Notes in Computer Science / Programming and Software #5570: Reliable Software Technologies - ADA-Europe 2009: 14th ADA-Europe International Conference, Brest, France, June 8-12, 2009, Proceedi New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 297 pages Springer - English 9783642019234 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.