phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Programming and Proof System ATES

Language EnglishEnglish
Book Paperback
Book Programming and Proof System ATES Armand Puccetti
Libristo code: 06623975
Publishers Springer, Berlin, July 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Full description
? points 290 b
115.42 €
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

COMING SOON
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Hardback
common.buy 254.80 €
Investment Policy Review United Nations: Conference on Trade and Development / Paperback
common.buy 27.66 €

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.

About the book

Full name Programming and Proof System ATES
Author Armand Puccetti
Language English
Binding Book - Paperback
Date of issue 1991
Number of pages 352
EAN 9783540541882
ISBN 9783540541882
Libristo code 06623975
Publishers Springer, Berlin
Weight 607
Dimensions 170 x 244 x 18

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Technology, Engineering, Agriculture > Transport technology & trades > Automotive technology & trades > Automotive (motor mechanic) skills
Technology, Engineering, Agriculture > Technology: general issues > Maths for engineers
Technology, Engineering, Agriculture > Energy technology & engineering > Alternative & renewable energy sources & technology
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account