Fortæl dine venner om denne vare:
Formal Methods in Systems Engineering Peter Ryan
Pris
DKK 534
Bestilles fra fjernlager
Forventes klar til forsendelse 19. - 31. aug.
Modtag notifikation om nye Peter Ryan udgivelser
Tilføj til din iMusic ønskeseddel
eller
Formal Methods in Systems Engineering
Peter Ryan
This volume contains the proceedings of the Formal Methods Workshop, held in Drymen, Scotland, in September 1991. It concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications.
206 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 16. juni 1993 |
| ISBN13 | 9783540197515 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 206 |
| Mål | 155 × 235 × 11 mm · 299 g |
| Sprog | Tysk |
| Klipper/redaktør | Ryan, Peter |
| Klipper/redaktør | Sennett, Chris |
Mere med Peter Ryan
Vis alle
Mere med samme udgiver
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Bog) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Bog) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-bog&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 bog) [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-bog&class=scaled&v=1606304271)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Bog) [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-bog&class=scaled&v=1735177753)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover bog) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-bog&class=scaled&v=1408485129)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2026-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-bog&class=scaled&v=1775079856)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Bog) [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-bog&class=scaled&v=1778114467)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Bog) [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-bog&class=scaled&v=1688517177)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover bog) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/166/9783662723166.jpg?dieter-schramm-2026-vehicle-dynamics-modeling-and-simulation-hardcover-bog&class=scaled&v=1774297528)
Se alt med Peter Ryan ( f.eks. Paperback Bog , Hardcover bog , CD og Bog )