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
4.0 out of 5 stars with 17 reviews
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


mpn: 4 black & white illustrations, biography, ean: 9783211828441, isbn: 3211828443,
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodol...

ean: 9780792394570, isbn: 0792394577,
This volume is a collection of research papers in the area of the implementation of logic programming systems. It will be of immediate interest to practitioners who seek an understanding of how to efficiently manage mem...

ean: 9780792373155, isbn: 0792373154,
The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analyt...

mpn: 6 black & white illustrations, biography, ean: 9781475781441, isbn: 147578144X,
An overview of the theory and application of linear and nonlinear mixed-effects models in the analysis of grouped data, such as longitudinal data, repeated measures, and multilevel data. The authors present a unified model-building strategy for both ...

mpn: illustrations, ean: 9783540402152, isbn: 3540402152,
This book contains most of the papers presented at the 4th International C- ference on Extreme Programming and Agile Processes in Software Engineering (XP 2003), held in Genoa, Italy, May 2003. The XP 200n series of conferences were started in 2000 t...

ean: 9783540009603, isbn: 3540009604,
Nowadays, newly developed software packages are often obsolete already at the time of their introduction. Object-oriented software development is a possible—if not the only—solution to this dilemma: applications are modeled as software objects th...

ean: 9780387988573, isbn: 0387988572,
A comprehensive introduction and guide to the STL, pitched at the level of readers already familiar with C++. It presents a thorough overview of the capabilities of the STL, detailed discussions of the use of containers, descriptions of the algorithm...

mpn: 5 black & white illustrations, 10 colour, ean: 9783642370083, isbn: 364237008X,
This work provides a short "getting started" guide to Fortran 90/95. The main target audience consists of newcomers to the field of numerical computation within Earth system sciences (students, researchers or scientific programmers). Furthermore, rea...

ean: 9789048174287, isbn: 9048174287,
New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific processor (ASIP). This book offers an automated and fully integrated implementation flow and compares it...

mpn: biography, ean: 9789401037525, isbn: 9401037523,
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value s...



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