Buy Used and New Manfred Broy Books

Formal Systems Specification: The RPC-Memory Specification Case Study: 1169 (Lecture Notes in Computer Science)

by Manfred Broy,Stephan Merz,Katharina Spies

ISBN 13: 9783540619840

Format: Paperback (572 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

by Manfred Broy,Ketil Stølen

ISBN 13: 9780387950730

Format: Illustrated (370 pages)
Publisher: Springer
Published: 27 Apr 2001

Save for later

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

by Klaus Pohl,Harald Hönninger,Reinhold Achatz,Manfred Broy

ISBN 13: 9783642439926

Format: Paperback (316 pages)
Publisher: Springer
Published: 14 Dec 2014

Save for later

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... 2890 (Lecture Notes in Computer Science)

by Manfred Broy,Alexandre V. Zamulin

ISBN 13: 9783540208136

Format: Illustrated (600 pages)
Publisher: Springer
Published: 05 Mar 2004

Save for later

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ... 4147 (Lecture Notes in Computer Science)

by Manfred Broy,Ingolf Kr¿¿ger,Michael Meisinger

ISBN 13: 9783540376774

Format: Paperback (172 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Modellbildung in der Informatik (Xpert.press)

by Manfred Broy,Ralf Steinbrüggen

ISBN 13: 9783642622670

Format: Paperback (268 pages)
Publisher: Springer
Published: 03 Oct 2013

Save for later

Programming and Mathematical Method: International Summer School (Nato ASI Series (closed) / Nato ASI Subseries F: (closed)): 88

by Manfred Broy,Francois-Michel Lopez,Jacqueline Simon

ISBN 13: 9783642775741

Format: Paperback (424 pages)
Publisher: Springer
Published: 31 Jul 2012

Save for later