Povej prijatelju o tem izdelku:
Formal Development of Reactive Systems: Case Study Production Cell - Lecture Notes in Computer Science Claus Lewerentz
Cena
€ 50,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 18. - 28. sep
Prejemajte obvestila o novih izdajah izvajalca Claus Lewerentz
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Formal Development of Reactive Systems: Case Study Production Cell - Lecture Notes in Computer Science
Claus Lewerentz
A systematic comparison of 18 different approaches to the control of a production cell. By analyzing the benefits and explaining the limitations of each formal method, the text provides guidance on the application of appropriate techniques that put formal methods into industrial use.
400 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 26. januarja 1995 |
| ISBN13 | 9783540588672 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 400 |
| Dimenzije | 156 × 234 × 21 mm · 576 g |
| Jezik | Nemščina |
| Urednik | Lewerentz, Claus |
| Urednik | Lindner, Thomas |
![Cover for Claus Lewerentz · Interaktives Entwerfen Grosser Programmsysteme - Informatik-fachberichte / Subreihe Kunstliche Intelligenz (Paperback Book) [German edition] (1988)](https://imusic.b-cdn.net/images/item/original/532/9783540505532.jpg?claus-lewerentz-1988-interaktives-entwerfen-grosser-programmsysteme-informatik-fachberichte-subreihe-kunstliche-intelligenz-paperback-book&class=scaled&v=1536951252)
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
