Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

Quantity:

More Buying Choices

19 used & new from �24.95

Have one to sell? Sell yours here

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 11 to 14 days.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

11 new from �45.07 8 used from �24.95

Product details

Paperback: 417 pages
Publisher: Springer (22 Sep 1999)
Language English
ISBN-10: 3540666249
ISBN-13: 978-3540666240
Product Dimensions: 23.9 x 15.8 x 2.4 cm
Average Customer Review: No customer reviews yet. Be the first.
Amazon.co.uk Sales Rank: 3,673,605 in Books (See Bestsellers in Books)

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Customers Viewing This Page May Be Interested in These Sponsored Links

(What is this?)

Insights Experts

www.IridiumConsulting.co.uk/Insight Insights Personality Profiling Team Days, Workshops, Coaching

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

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.

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jsOnDisplayBlock { display: none; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; }

Customer Discussions

Beta (What's this?)

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Prompts for sign-in

[Cancel]

Guidelines

Look for similar items by category

Books > Business, Finance & Law > E-Commerce
Books > Computing & Internet > Computer Science > Architecture & Microprocessors > Architecture & Logic
Books > Computing & Internet > Computer Science > Artificial Intelligence
Books > Computing & Internet > Computer Science > Information Systems
Books > Computing & Internet > Computer Science > Systems Analysis & Design
Books > Computing & Internet > Programming > Algorithms > Artificial Intelligence
Books > Computing & Internet > Programming > Compilers
Books > Science & Nature > Mathematics > Mathematical Foundations > Mathematical Logic

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

Readings in Object-Oriented...

This comprehensive collection is a survey of research in... Read more
£46.54

›Find similar items

Make A Wish

Make sure you always get what you want with an Amazon.co.uk Wish List.

›More info on Wish Lists

Up to 50% off Dental Care

Put a sparkle in your smile with up to 50% off selected Oral-B and Philips rechargeable toothbrushes.

›Up to 50% off power toothbrushes

Treat Someone

With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

Where's My Stuff?

track your recent orders
view or change your orders in Your Account

Delivery and Returns

see our delivery rates and policies
thinking of returning an item? (See our Returns Policy)

Need Help?

Forgot your password?
Buy Gift Certificates.
still have questions? Visit our Help Pages

Your Recent History

(What's this?)

You have no recently viewed items or searches.

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

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

The Girl Who Played with Fire by Stieg Larsson

4.5 out of 5 stars (77)�3.86

The Girl with the Dragon Tattoo by Stieg Larsson

4.1 out of 5 stars (175)�3.99

Breaking Dawn (Twilight Saga) by Stephenie Meyer

4.1 out of 5 stars (471)�6.49

New Moon (Twilight Saga) by Stephenie Meyer

4.2 out of 5 stars (229)�3.49


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon