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,
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen fu...

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,
This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in Nove...

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,
This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, ...

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,
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel C...

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,
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, a...

Compiler Technology: Tools, Translators and Language Implementation (The Springer International Series in Engineering and Computer Science)
By Brand: Springer
ean: 9780792380184, isbn: 9780792380184,
Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...

.NET Framework Essentials: Introducing the .NET Framework
By Brand: O'Reilly Media
ean: 9780596005054, isbn: 9780596005054,
Fully updated for version 1.1 of the .NET Framework, .NET Framework Essentials, 3rd Edition is an objective, concise, no-nonsense overview of the Micr...

Python Essential Reference (4th Edition)
By imusti
ean: 9780672329784, isbn: 0672329786,
Python Essential Reference is the definitive reference guide to the Python programming language — the one authoritative handbook that reliably untan...

Java Programming
By imusti
ean: 9781285856919, isbn: 1285856910,
Discover the power of Java for developing applications with the engaging, hands-on approach in Farrell's JAVA PROGRAMMING, 8E. With this book, even fi...

The C/Unix Programmer's Guide
By Brand: Acadix Software Consulting
ean: 9780967059600, isbn: 0967059607,
The C/Unix Programmer's Guide is a comprehensive guide for beginning to intermediate C/C++ programming under UNIX, Linux, Macintosh OS X, and similar ...



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