| | Books 1 - 10 of 38 | Previous | Next | 
|  | | Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science) (1st Edition)
by Manfred Broy (Editor), Stephan Merz (Editor), Katharina Spies (Editor)
Paperback, 541 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Requirements Targeting Software and Systems Engineering: International Workshop Rtse'97, Bernried, Germany, October 12-14, 1997 : P Roceedings (Lecture Notes in Computer Science)
by Manfred Broy (Editor), Bernhard Rumpe (Editor)
Paperback, 355 Pages, Published 1998 by Springer-Verlag Telos
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry) (1st Edition)
by Manfred Broy (Editor), Johannes Gruenbauer (Editor), David Harel (Editor), Tony Hoare (Editor)
Paperback, 404 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science)
by Manfred Broy (Editor), Dines Bjorner (Editor), Igor V. Pottosin (Editor)
Paperback, 433 Pages, Published 1993 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 0-2, 2004, Revised ... Papers (Lecture Notes in Computer Science) (1st Edition)
by Manfred Broy (Editor), Ingolf Krüger (Editor), Michael Meisinger (Editor)
Paperback, 155 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Calculational System Design (NATO SCIENCE SERIES: COMPUTERS & SYSTEMS SCIENCES) (Nato a S I Series Series III, Computer and Systems Sciences)
by Germany) NATO Advanced Study Institute on Calculational System Design (1998 : Marktoberdorf, Manfred Broy (Editor), R. Steinbruggen (Editor)
Hardcover, 510 Pages, Published 2000 by Ios Pr Inc
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) (1st Edition)
by Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
Paperback, 659 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Control Flow and Data Flow: Concepts of Distributed Programming (Advanced Science Institutes Series)
by Manfred Broy
Paperback, 525 Pages, Published 1986 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Mathematical Methods in Program Development (Nato a S I Series Series III, Computer and Systems Sciences)
by Manfred Broy (Editor), Birgit Schieder (Editor)
Hardcover, 528 Pages, Published 1997 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Perspectives of System Informatics; Second International Andrei ErshovMemorial Conference...June 1996
by Dines, Manfred Broy, Igor v. Pottosin, Eds. Bjorner
Hardcover, Published 1996 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 38 | Previous | Next |
|