Formal methods for industrial applications : specifying and programming the steam boiler control (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal methods for industrial applications : specifying and programming the steam boiler controlhttps://catalogue-scientifique.canada.ca/record=1689226~S6*frcRechercher Abrial, Jean-Raymond; Rechercher Börger, E; Rechercher Langmaack, HansSpringer, 1996, ISBN : 9783540619291Livre
LOGLAN 88, report on the programming language (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : LOGLAN 88, report on the programming languagehttps://catalogue-scientifique.canada.ca/record=1460138~S6*frcRechercher Kreczmar, Antoni; Rechercher Salwicki, Andrzej; Rechercher Warpechowski, Marek; Rechercher Ciesielski, Bolesław; Rechercher Kreczmar, ASpringer-Verlag, 1990, ISBN : 3540523251Livre
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectureshttps://catalogue-scientifique.canada.ca/record=1854724~S6*frcRechercher Roever, W.-P. de; Rechercher Langmaack, Hans; Rechercher Pnueli, ASpringer, 1998Actes de conférence
Formal techniques in real-time and fault-tolerant systems : third international symposium (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal techniques in real-time and fault-tolerant systems : third international symposiumhttps://catalogue-scientifique.canada.ca/record=1591827~S6*frcRechercher Langmaack, Hans; Rechercher Roever, W.-P. de; Rechercher Vytopil, JSpringer-Verlag, 1994Actes de conférence
Implementierung PASCAL-artiger Programmiersprachen (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Implementierung PASCAL-artiger Programmiersprachenhttps://catalogue-scientifique.canada.ca/record=1218310~S6*frcRechercher Langmaack, Hans; Rechercher Schlender, Bodo; Rechercher Schmidt, Joachim WB.G. Teubner, 1982Actes de conférence
1. Fachtagung über Programmiersprachen : München, 9.-11. März 1971 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : 1. Fachtagung über Programmiersprachen : München, 9.-11. März 1971https://catalogue-scientifique.canada.ca/record=1531485~S6*frcRechercher Paul, Manfred; Rechercher Paul, MSpringer-Verlag, 1972Actes de conférence
VDM '90 : VDM and Z--formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : VDM '90 : VDM and Z--formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedingshttps://catalogue-scientifique.canada.ca/record=1464481~S6*frcRechercher Bjørner, D; Rechercher Hoare, C. A. R; Rechercher Langmaack, HansSpringer-Verlag, 1990Actes de conférence