or
Sign in to turn on 1-Click ordering.
 
 
More Buying Choices
18 used & new from £21.87
Have one to sell? Sell yours here
 
   
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
 
 
Share your own customer images
Search inside this book

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science) (Paperback)

by Ernst-Rüdiger Olderog (Editor), Bernhard Steffen (Editor) " ..." (more)
No customer reviews yet. Be the first.
Price: £45.99 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Usually dispatched within 1 to 3 weeks.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

11 new from £38.84 7 used from £21.87

Product details

Customers Viewing This Page May Be Interested in These Sponsored Links

  (What is this?)
   SYSTEM DESIGN opens new browser window
www.Mentor.com/PCB  -  PCB Design and Layout Demonstration Download Free! 
   Debrief Notes opens new browser window
www.DebriefNotes.com  -  Note software for ideas, journals. No charge for the Basic Edition. 
   Design Notes opens new browser window
Ask.com  -  Search for Design Notes Find Design notes 
  
 

Product Description

Product Description

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.
Inside This Book (Learn More)
First Sentence
 Read the first page
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Search inside this book:

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 
See most popular tags

Customer Reviews


There are no customer reviews yet.
Video reviews
Video reviews
Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.


Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

   

Look for similar items by category

Look for similar items by subject























i.e., each product must be in subject 1 AND subject 2 AND ...

Feedback

Ad

Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.