• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Paperback

Series: Monographs in Computer Science

Technology & EngineeringGeneral ScienceProgramming

ISBN10: 1461265185
ISBN13: 9781461265184
Publisher: Springer Nature
Published: Oct 17 2012
Pages: 348
Weight: 1.14
Height: 0.77 Width: 6.14 Depth: 9.21
Language: English
This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.

1 different editions

Also available

Also in

Programming