Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Operating Systems

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)


Blowout Sale! Free Shipping Included! Save 65% on the Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) by Brand: Springer at Translate This Website. MPN: 69 black & white illustrations, biograph. Hurry! Limited time offer. Offer valid only while supplies last. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.Used Book in Good Condition.


Product Description & Reviews

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.Used Book in Good Condition.

Features & Highlights

  • Used Book in Good Condition

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:69 black & white illustrations, biograph
Publisher:Springer
Studio:Springer
MPN:69 black & white illustrations, biograph
EAN:9783540741060
Item Weight:2.65 pounds
Item Size:1.38 x 9.21 x 9.21 inches
Package Weight:2.73 pounds
Package Size:6.22 x 1.34 x 1.34 inches

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) by Brand: Springer

Buy Now:
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

4.4 out of 5 stars with 66 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$249.99
$89.84
You Save: 64%


Quantity:  

 


View More In Operating Systems.

 


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


If you have any questions about this product, 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 Name:
Email Address:
Your Message:

Related Best Sellers


Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
By Brand: Springer
mpn: biography, ean: 9783540741299, isbn: 9783540741299,

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science)
By Brand: Springer
mpn: biography, ean: 9783540766360, isbn: 3540766367,

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science)
By Brand: Springer
ean: 9783540893295, isbn: 3540893296,

Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers (Lecture Notes in Computer Science)
By Brand: Springer
mpn: black & white illustrations, ean: 9783642376573, isbn: 3642376576,

Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and ... (Lecture Notes in Computer Science)
By Springer
mpn: 161 black & white illustrations, biograp, ean: 9783642548321, isbn: 9783642548321,

Compiler Technology: Tools, Translators and Language Implementation (The Springer International Series in Engineering and Computer Science)
By Brand: Springer
ean: 9780792380184, isbn: 9780792380184,

.NET Framework Essentials: Introducing the .NET Framework
By Brand: O'Reilly Media
ean: 9780596005054, isbn: 9780596005054,

Python Essential Reference (4th Edition)
By imusti
ean: 9780672329784, isbn: 0672329786,

Java Programming
By imusti
ean: 9781285856919, isbn: 1285856910,

The C/Unix Programmer's Guide
By Brand: Acadix Software Consulting
ean: 9780967059600, isbn: 0967059607,



Privacy Policy / Terms of Service / Accessibility Statement
© 2020 - translateth.is. All Rights Reserved.