Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Compilers

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science)


Huge Savings Item! Save 19% on the Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science) by Zohar Manna at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This volume is dedicated to the memory of  the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span


Product Description

This volume is dedicated to the memory of  the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli’s scientific work, with a focus on the development and the application of formal methods.

Additional Information

Manufacturer:Springer
Brand:Zohar Manna
Publisher:Springer
Studio:Springer
EAN:9783642137532
Item Weight:1.35 pounds
Item Size:1 x 9 x 9 inches
Package Weight:1.41 pounds
Package Size:6.06 x 0.87 x 0.87 inches

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science) by Zohar Manna

Buy Now:
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science)

Brand: Zohar Manna
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$129.00
$104.98
You Save: 19%


Quantity:  

 


View More In Compilers.

 


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 Zohar Manna, 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: 4 black & white illustrations, biography, ean: 9783211828441, isbn: 3211828443,

By Brand: Springer
ean: 9780792394570, isbn: 0792394577,

By Brand: Springer
ean: 9780792373155, isbn: 0792373154,

By Douglas Bates Jos Pinheiro
mpn: 6 black & white illustrations, biography, ean: 9781475781441, isbn: 147578144X,

By Michele Marchesi
mpn: illustrations, ean: 9783540402152, isbn: 3540402152,

By Brand: Springer
ean: 9783540009603, isbn: 3540009604,

By Robert Robson
ean: 9780387988573, isbn: 0387988572,

By Dragos Chirila
mpn: 5 black & white illustrations, 10 colour, ean: 9783642370083, isbn: 364237008X,

By Schliebusch Oliver Meyr Heinrich Leupers Rainer
ean: 9789048174287, isbn: 9048174287,

By Springer
mpn: biography, ean: 9789401037525, isbn: 9401037523,



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