John Derrick - Wissenschaftliche Veröffentlichungen

(1 - 2 von 5

)

dblp: John Derrick

dblp.uni-trier.de

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June , Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, ISBN

John Derrick - dblpdblp.org › Persons

dblp.org

John Derrick , Eerke A. Boiten : Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). Springer 2014, ISBN , pp.

Verwandte Suchanfragen zu John Derrick

Derrick Smith
Peter John

Personen
Vorname "John" (38044)
Name "Derrick" (88)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen John Derrick

dblp: John Derrick

John Derrick - dblpdblp.org › Persons