Logic and Algebra of Specification Image close
Logic and Algebra of Specification on Hardback
Logic and Algebra of Specification on Hardback
Show Hide Adult Content
Logic and Algebra of Specification close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Applied mathematics

Logic and Algebra of Specification

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$453.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $113.25 with Afterpay Learn more

6 weekly interest-free payments of $75.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more NATO ASI Subseries F:

See all products in this series

Neurocomputing
$299.00
Neurocomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Systems: Safety, Reliability and Maintainability Issues on Hardback
$314.00
Intelligent Systems: Safety, Reliability and Maintainability Issues
Hardback
Available - Usually ships in 3-4 weeks
Workflow Management Systems and Interoperability on Hardback
$303.00
Workflow Management Systems and Interoperability
Hardback
Available - Usually ships in 3-4 weeks
Interactive Multimedia Learning Environments
$292.00
Interactive Multimedia Learning Environments
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Architectures for Spatially Distributed Data
$296.00
Computer Architectures for Spatially Distributed Data
Paperback / softback
Available - Usually ships in 3-4 weeks
Shape in Picture on Hardback
$870.00
Shape in Picture
Hardback
Available - Usually ships in 3-4 weeks
Mathematical Methods in Program Development
$299.00
Mathematical Methods in Program Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logic
$450.00
Computational Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel Computing on Distributed Memory Multiprocessors on Hardback
$296.00
Parallel Computing on Distributed Memory Multiprocessors
Hardback
Available - Usually ships in 3-4 weeks
Logics and Models of Concurrent Systems
$300.00
Logics and Models of Concurrent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Simulation and Model-Based Methodologies: An Integrative View
$306.00
Simulation and Model-Based Methodologies: An Integrative View
Paperback / softback
Available - Usually ships in 3-4 weeks
Control Technology in Elementary Education on Hardback
$449.00
Control Technology in Elementary Education
Hardback
Available - Usually ships in 3-4 weeks
Mathematics and Computer Science in Medical Imaging
$302.00
Mathematics and Computer Science in Medical Imaging
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logic on Hardback
$453.00
Computational Logic
Hardback
Available - Usually ships in 3-4 weeks
Software System Design Methods
$309.00
Software System Design Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Machines
$303.00
Database Machines
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for the computerscientist, which may soon become practical for commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems. This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic, abstract data types and operational semantics, andconstructive methods.
Release date NZ
July 5th, 1993
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Friedrich L Bauer
  • Edited by Helmut Schwichtenberg
  • Edited by Wilfried Brauer
Illustrations
VII, 442 p.
Pages
442
Dimensions
170x242x25
ISBN-13
9783540558132
Product ID
2837088

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design