Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad
1 071 kr
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
AvMaurice H. ter Beek,Alessandro Fantechi
Häftad, Engelska, 2019
Del 11865 i serien Lecture Notes in Computer Science
550 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 2178
Quality of Information and Communications Technology
Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini
Häftad
1 527 kr
Formal Methods for Open Object-Based Distributed Systems
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Häftad
2 178 kr
Del 16363
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis
Paolo Ciancarini, Alessandro Fantechi
653 kr
Del 13271
Del 10598
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Häftad
534 kr
Del 9274
Formal Methods for Open Object-Based Distributed Systems
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Inbunden
2 185 kr