Formal Development of Reactive Systems: Case Study Production Cell - Lecture Notes in Computer Science - Claus Lewerentz - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540588672 - January 26, 1995
In case cover and title do not match, the title is correct

Claus Lewerentz
Formal Development of Reactive Systems: Case Study Production Cell - Lecture Notes in Computer Science

Price
HK$ 436
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

A systematic comparison of 18 different approaches to the control of a production cell. By analyzing the benefits and explaining the limitations of each formal method, the text provides guidance on the application of appropriate techniques that put formal methods into industrial use.

400 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 26, 1995
ISBN13 9783540588672
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 400
Dimensions 156 × 234 × 21 mm   ·   576 g
Language German  
Editor Lewerentz, Claus
Editor Lindner, Thomas

More by Claus Lewerentz

Show all

Mere med samme udgiver

See all of Claus Lewerentz ( e.g. Paperback Book )