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   Ada

Towards a Formal Description of Ada (Lecture Notes in Computer Science)


Mega Sale! Save 26% on the Towards a Formal Description of Ada (Lecture Notes in Computer Science) by B Bjorner at EMS Linux. MPN: with numerous figs.. Hurry! Limited time offer. Offer valid only while supplies last. Towards a formal description of


Product Description

Towards a formal description of ADA

Additional Information

Manufacturer:Springer
Part Number:with numerous figs.
Publisher:Springer
Studio:Springer
MPN:with numerous figs.
EAN:9783540102830
Item Weight:1.98 pounds
Item Size:1.46 x 9.25 x 9.25 inches
Package Weight:1.95 pounds
Package Size:6.4 x 1.1 x 1.1 inches

Towards a Formal Description of Ada (Lecture Notes in Computer Science) by B Bjorner

Buy Now:
Towards a Formal Description of Ada (Lecture Notes in Computer Science)

Brand: B Bjorner
4.6 out of 5 stars with 26 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$149.00
$111.01
You Save: 25%


Quantity:  

 


View More In Ada.

 


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 B 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


mpn: 1, ean: 9783540693352, isbn: 3540693351,
The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be appro...

mpn: biography, ean: 9783642702419, isbn: 3642702414,
This book is intended as a text for a course in programming languages. The pre­ requisites for such a course are insight in structured programming and knowledge as well as practical experience of at least one (e.g., Pascal) of the programming langua...

ean: 9780521392679, isbn: 0521392675,
The book presents the rationale behind the design and development of the programming language Ada. The material, incorporating corrections to its original printing by the Ada Joint Program Office (AJPO), will be essential reading for all those curren...

mpn: biography, ean: 9783642454189, isbn: 3642454186,
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Am...

ean: 9780521197168, isbn: 0521197163,
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time progr...

ean: 9780763707927, isbn: 0763707929,
Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax without overwhelming the student. The book focuses on the development of good programming habits. Thi...

mpn: Illustrations, ean: 9780763737948, isbn: 0763737941,
Ada Plus Data Structures is the most up-to-date, student-friendly Ada text available. Using the newly updated Ada 2005, the text introduces and discusses such familiar topics as strings, sets, stacks, queues, lists, trees, graphs, and much more. The ...



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