Programm Angewandte Informatik

Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

Authors: Ochsenschläger, Peter

Free Preview

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-322-88841-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $64.99
price for USA in USD

Table of contents (15 chapters)

Table of contents (15 chapters)

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-322-88841-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $64.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Modellierung verteilter Systeme
Book Subtitle
Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
Authors
Series Title
Programm Angewandte Informatik
Copyright
1995
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
eBook ISBN
978-3-322-88841-9
DOI
10.1007/978-3-322-88841-9
Softcover ISBN
978-3-528-05433-5
Edition Number
1
Number of Pages
VIII, 280
Number of Illustrations
29 b/w illustrations
Topics