From Software Engineering to Formal Methods and Tools, and Back
Laura Semini, Alessandro Fantechi, Maurice H. ter Beek
E-bok
2019708 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
561 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
Journeys Between Formal Methods and the Railway Industry
Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek
E-bok
20261 329 kr
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad, 2026
1 092 kr
Del 2178
Quality of Information and Communications Technology
Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini
Häftad, 2024
1 557 kr
Quality of Information and Communications Technology
Laura Semini, Patricia Lago, Joao Pascoal Faria, Antonia Bertolino
E-bok
20241 907 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alexander Romanovsky, Thierry Lecomte, Alessandro Fantechi
E-bok
2017708 kr
Del 9274
Software Engineering for Resilient Systems
Alessandro Fantechi, Patrizio Pelliccione
Häftad, 2015
450 kr
Formal Methods for Open Object-Based Distributed Systems
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Inbunden, 1999
2 221 kr
Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini
E-bok
20132 822 kr