Jacques Julliand und Specification And Development - Info zur Person

(1 - 9 von 18

)

Jacques Julliand | LibraryThing

www.librarything.com

Jacques Julliand, author of B : formal specification and development in B : 7th International…, on LibraryThing

Jacques Julliand (Author of B 2007)

www.goodreads.com

Jacques Julliand Avg rating: ratings 0 reviews. B by Jacques Julliand B 2007: Formal Specification and Development in B: 7th Intern ratings ...

B 2007: Formal Specification and Development in B - Jacques Julliand...

www.bokkilden.no

Jacques Julliand (Redaktør). This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France, ...

B 2007: Formal Specification and Development in B; 7th Biblio.comwww.biblio.com › Common Crow Books

www.biblio.com

... Place of Publication: Berlin; Date Published: 2007; Keywords: Jacques Julliand, Olga Kouchnarenko, Computer Science, Technology ...

B 2007: Formal Specification and Development in B | SpringerLink

link.springer.com

Commenced Publication in Founding and Former Program Committee. Program Chair: Jacques Julliand, LIFC, University of Franche-Comté, France In proof obligations we represent the before-after predicate BA. (. S(t, v). ) of an.

"Jacques Julliand" download for free. Electronic library. Finding...

en.booksee.org

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings.

Beschreibung: B 2007: Formal Specification and Development in B

julib.fz-juelich.de

Jacques Julliand, Olga Kouchnarenko.

Alle Infos zum Namen "Jacques Julliand"

Verwandte Suchanfragen zu Jacques Julliand

Alain Giorgetti

Personen
Vorname "Jacques" (3118)
Name "Julliand" (1)

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

Jacques Julliand und Specification And Development Person-Info