All Books
Algebraic Methodology and Software Technology (English, Teodor Rus)
Computers & Internet

Algebraic Methodology and Software Technology (English, Teodor Rus)

4,122

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Share:
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Product Description

About the Book

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa, and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathem…

ISBN: 9783540675303

Book Specifications

ISBN-139783540675303
ISBN-103540675302
PublisherSpringer
CategoryComputers & Internet

Frequently Asked Questions

What is the price of Algebraic Methodology and Software Technology?
Algebraic Methodology and Software Technology is available at ₹4,122 on BookShops.in.
Does BookShops.in offer free delivery for Algebraic Methodology and Software Technology?
FREE delivery on all orders for Algebraic Methodology and Software Technology.
Is Cash on Delivery available for Algebraic Methodology and Software Technology?
Yes, Cash on Delivery (COD) is available for Algebraic Methodology and Software Technology on BookShops.in. Pay when your order arrives.
What is the return policy for Algebraic Methodology and Software Technology?
BookShops.in offers a 15-day hassle-free return policy for Algebraic Methodology and Software Technology. Contact us at [email protected] or call +91 81899 68108.
Is Algebraic Methodology and Software Technology authentic?
Algebraic Methodology and Software Technology is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Customers Also Bought

Buy Algorithmische Sprache Und Programmentwicklung | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer — BookShops.in

Programming

Algorithmische Sprache Und Programmentwicklung | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer

3,143
Buy Distributed Algorithms | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean — BookShops.in

Programming

Distributed Algorithms | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean

5,539
Buy Meta-Level Control for Deductive Database Systems | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schm — BookShops.in

Programming

Meta-Level Control for Deductive Database Systems | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schm

5,458
Buy Java Web Services | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O' — BookShops.in

Programming

Java Web Services | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'

3,680
Buy Database in Depth | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J.  — BookShops.in

Programming

Database in Depth | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J.

3,158
Buy Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson |  — BookShops.in

Programming

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson |

5,602

Related Products

View All
Buy Modern Full-Stack React Projects by Daniel Bugl — BookShops.in

Computers & Internet

Modern Full-Stack React Projects by Daniel Bugl

2,311
Buy Mootools 1.2 Beginner's Guide (English, Jacob Gube) — BookShops.in

Computers & Internet

Mootools 1.2 Beginner's Guide (English, Jacob Gube)

2,085
Buy Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology) — BookShops.in

Computers & Internet

Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)

4,187
Buy Information Technology and Lawyers | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lo — BookShops.in

Computers & Internet

Information Technology and Lawyers | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lo

4,985
Buy Digital Analysis of Remotely Sensed Imagery | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao — BookShops.in

Computers & Internet

Digital Analysis of Remotely Sensed Imagery | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao

5,336
Buy Computer-Aided Drug Design and Delivery Systems | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Compan — BookShops.in

Computers & Internet

Computer-Aided Drug Design and Delivery Systems | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Compan

4,180
Get In Touch

Contact BookShops.in

Find our bookstore in Madurai on the map below, or let us know about your reading experience by leaving a review.

Phone+91 81899 68108
Address12, Rajan Street, Main Road, KK Nagar, Madurai — 625020, Tamil Nadu, India
Support HoursMon–Sat, 10:00 AM – 6:00 PM (IST)

Value your feedback

Enjoyed the books you ordered from us? Your review helps fellow readers discover our store and helps us improve.

Leave a Google Review

Your Cart

Your cart is empty

Add books to get started