Software Engineering and Formal Methods
Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Häftad
555 kr
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
AvRadu Calinescu,Bernhard Rumpe
Häftad, Engelska, 2015
Del 9276 i serien Lecture Notes in Computer Science
555 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Large-Scale Complex IT Systems. Development, Operation and Management
Radu Calinescu, David Garlan
Häftad
555 kr
Del 11732
Ernst Denert Award for Software Engineering 2022
Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
Inbunden
555 kr
Behavioral Specifications of Businesses and Systems
Haim Kilov, Bernhard Rumpe, Ian Simmonds
Inbunden
1 646 kr
Engineering Modeling Languages
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel, Didier Vojtisek
Inbunden
1 629 kr
Del 523
Behavioral Specifications of Businesses and Systems
Haim Kilov, Bernhard Rumpe, Ian Simmonds
Häftad
1 651 kr