Skip to main content
Book cover

Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

  • Book
  • © 1995

Overview

Part of the book series: Programm Angewandte Informatik (PAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

Keywords

Bibliographic Information

  • Book Title: Modellierung verteilter Systeme

  • Book Subtitle: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

  • Authors: Peter Ochsenschläger, Rainer Prinoth

  • Series Title: Programm Angewandte Informatik

  • DOI: https://doi.org/10.1007/978-3-322-88841-9

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 1995

  • Softcover ISBN: 978-3-528-05433-5Published: 01 January 1995

  • eBook ISBN: 978-3-322-88841-9Published: 08 March 2013

  • Edition Number: 1

  • Number of Pages: VIII, 280

  • Number of Illustrations: 29 b/w illustrations

  • Topics: Simulation and Modeling, Quality Control, Reliability, Safety and Risk, Computer Science, general

Publish with us