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   Compiler Design

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)


Mega Sale! Save 26% on the Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science) by Dines Bjorner at EMS Linux. MPN: 1. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in


Product Description

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.

Additional Information

Manufacturer:Springer
Brand:Dines Bjorner
Part Number:1
Publisher:Springer
Studio:Springer
MPN:1
EAN:9783540430759
Item Weight:1.73 pounds
Item Size:1.39 x 9.25 x 9.25 inches
Package Weight:1.85 pounds
Package Size:6.1 x 1.3 x 1.3 inches

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science) by Dines Bjorner

Buy Now:
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)

Brand: Dines Bjorner
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$139.00
$104.09
You Save: 25%


Quantity:  

 


View More In Compiler Design.

 


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 Dines Bjorner, 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 R Niegel Horspool
mpn: Illustrations, ean: 9783540433699, isbn: 3540433694,

By Sippu Seppo Soisalon Soininen Eljas
mpn: 110 black & white illustrations, ean: 9783540517320, isbn: 3540517324,

By Peter A Fritzson
ean: 9783540578772, isbn: 3540578773,

By Chua Huang Huang
ean: 9783540607656, isbn: 354060765X,

By Tibor Gyimothy
ean: 9783540610533, isbn: 3540610537,

By Springer
mpn: Illustrations, ean: 9783540643012, isbn: 354064301X,

By A Cortesi
ean: 9783540664598, isbn: 3540664599,

By Catuscia Palamidessi
ean: 9783540678977, isbn: 3540678972,

By Springer
mpn: Illustrations, ean: 9783540678984, isbn: 3540678980,

By Thomas Reps
mpn: biography, ean: 9783540713159, isbn: 3540713158,



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