- Nyhet
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice H. Ter Beek
Häftad
1 379 kr
Del 11865 - Lecture Notes in Computer Science
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Häftad, Engelska, 2019
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;
Produktinformation
- Utgivningsdatum2019-09-14
- Mått155 x 235 x 32 mm
- Vikt879 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor574
- FörlagSpringer Nature Switzerland AG
- ISBN9783030309848
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 16363
Formal Methods: Foundations and Applications
Maurice H. ter Beek, Leopoldo Teixeira, Maurice H. Ter Beek
Häftad
819 kr
Quality of Information and Communications Technology
Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini, Joao Pascoal Faria, Patricia Pascoal Faria, João
Häftad
1 849 kr
Architecting Dependable Systems VI
Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek, Maurice H. Ter Beek
Häftad
719 kr
Del 13271
Coordination Models and Languages
Maurice H. ter Beek, Marjan Sirjani, Maurice H. Ter Beek
Häftad
1 709 kr
Del 9933
Critical Systems: Formal Methods and Automated Verification
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, Maurice H. Ter Beek
Häftad
709 kr
Del 12327
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek, Dejan Ničković, Dejan Nickovic, Maurice H. Ter Beek, Dejan Ničkovic, Dejan Ni¿kovi¿
Häftad
709 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek
Häftad
719 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte, Maurice H. Ter Beek
Häftad
799 kr