Axiomatic approach to total correctness of programs (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Axiomatic approach to total correctness of programshttps://catalogue-scientifique.canada.ca/record=1266096~S6*frcRechercher Manna, Zohar; Rechercher Pnueli, AComputer Science Dept., Stanford University, 1973Livre
Formalization of properties of recursively defined functions (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formalization of properties of recursively defined functionshttps://catalogue-scientifique.canada.ca/record=1258261~S6*frcRechercher Manna, Zohar; Rechercher Pnueli, AStanford University, 1969Livre
The safety-progress classification (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The safety-progress classificationhttps://catalogue-scientifique.canada.ca/record=1527850~S6*frcRechercher Chang, E; Rechercher Manna, Zohar; Rechercher Pnueli, ADept. of Computer Science, Stanford University, 1992Livre
From timed to hybrid systems (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : From timed to hybrid systemshttps://catalogue-scientifique.canada.ca/record=1527856~S6*frcRechercher Maler, O; Rechercher Manna, Zohar; Rechercher Pnueli, ADept. of Computer Science, Stanford University, 1992Livre
An interleaving model for real time (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : An interleaving model for real timehttps://catalogue-scientifique.canada.ca/record=1492170~S6*frcRechercher Henzinger, T. A; Rechercher Pnueli, A; Rechercher Manna, ZoharDept. of Computer Science, Stanford University, 1990Livre
Temporal proof methodologies for real-time systems (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Temporal proof methodologies for real-time systemshttps://catalogue-scientifique.canada.ca/record=1520112~S6*frcRechercher Henzinger, T. A; Rechercher Manna, Zohar; Rechercher Pnueli, AStanford University, Dept. of Computer Science, 1990Livre
A complete axiomatic system for proving deductions about recursive programs (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A complete axiomatic system for proving deductions about recursive programshttps://catalogue-scientifique.canada.ca/record=1264534~S6*frcRechercher Harel, David; Rechercher Pnueli, A; Rechercher Stavi, JonathanLaboratory for Computer Science, Massachusetts Institute of Technology, 1978Livre
Deterministic propositional dynamic logic : finite models, complexity, and completeness (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Deterministic propositional dynamic logic : finite models, complexity, and completenesshttps://catalogue-scientifique.canada.ca/record=1264263~S6*frcRechercher Ben-Ari, Mordechai; Rechercher Halpern, Joseph Y; Rechercher Pnueli, A; Rechercher Ari, Mordechai BenLaboratory for Computer Science, Massachusetts Institute of Technology, 1981Livre
MetaSoft primer : towards a metalanguage for applied denotational semantics (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : MetaSoft primer : towards a metalanguage for applied denotational semanticshttps://catalogue-scientifique.canada.ca/record=1389958~S6*frcRechercher Blikle, AndrzejSpringer-Verlag, 1987, ISBN : 3540186573Livre
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