Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Cross-platform Development

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science)


Mega Sale! Save 26% on the Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science) by Springer at EMS Linux. MPN: biography. Hurry! Limited time offer. Offer valid only while supplies last. This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations


Product Description

This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.

Additional Information

Manufacturer:Springer
Part Number:biography
Publisher:Springer
Studio:Springer
MPN:biography
EAN:9783540205272
Item Weight:1.55 pounds
Item Size:1.12 x 9.25 x 9.25 inches
Package Weight:1.5 pounds
Package Size:6.1 x 0.8 x 0.8 inches

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science) by Springer

Buy Now:
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science)

Brand: Springer
4.0 out of 5 stars with 31 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$81.33
You Save: 25%


Quantity:  

 


 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Brand: Springer
mpn: Illustrations, ean: 9783540440420, isbn: 3540440429,
The second evaluation campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September 2001. This campaign proved a great success, and showed an increase in participation of around 70% com pared with CL...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.