Vertel uw vrienden over dit artikel:
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science Rajeev Alur
Prijs
€ 97,99
Besteld in een afgelegen magazijn
Verwachte levering 6 - 14 aug.
Ontvang meldingen over nieuwe releases van Rajeev Alur
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science
Rajeev Alur
Documents the outcome of the DIMACS/SYON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, USA, in October 1995. The 48 revised full papers, selected from the proceedings, present current developments, with contributions from leading experts.
619 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 24 april 1996 |
| ISBN13 | 9783540611554 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 619 |
| Afmetingen | 156 × 234 × 32 mm · 875 g |
| Taal en grammatica | Duits |
| Uitgever | Alur, Rajeev |
| Uitgever | Henziger, T.a. |
| Uitgever | Sontag, Eduardo D. |
Meer door Rajeev Alur
Alles tonen![Cover for Rajeev Alur · Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/429/9783540223429.jpg?rajeev-alur-2004-computer-aided-verification-16th-international-conference-cav-2004-boston-ma-usa-july-13-17-2004-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1611681129)
Meer van dezelfde uitgever
![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 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 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 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 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)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [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-book&class=scaled&v=1775079856)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover Book) [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-book&class=scaled&v=1774297528)
Bekijk alles van Rajeev Alur ( bijv. Paperback Book en Book )