Correct System Design

Name: Correct System Design
SKU: 2807083
Price: 152.00 NZD
Availability: InStock

Recent Insights and Advances

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$152.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.00 with Afterpay Learn more

6 weekly interest-free payments of $25.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

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.

Release date NZ

September 22nd, 1999

Audience

Professional & Vocational

Contributors

Edited by Bernhard Steffen
Edited by Ernst-Rudiger Olderog

Illustrations

XIV, 422 p.

Pages

422

Series

Lecture Notes in Computer Science,

Dimensions

156x234x22

ISBN-13

9783540666240

Product ID

2807083

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Correct System Design

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*