. . . . . . . . . "2007"^^ . . . "2003"^^ . . . . . . . "1995"^^ . "180477278"^^ . "Addison-Wesley"@fr . "1992"^^ . "1993"^^ . . "1990"^^ . . . . . "Dover"@fr . . "1985"^^ . . . "Aaron R. Bradley"@fr . . . . . "The calculus of computation : decision procedures with applications to verification"@fr . "Richard J. Waldinger"@fr . . . . . . . . . . . "978"^^ . . . . "XV+366"@fr . . . . . . . . . . . . "Zohar Manna"@de . . . . . . . . "0"^^ . . . . . . . . . . "XIV+427"@fr . . "en"@fr . "1974"^^ . . . . . . . . . . . . . . "The logical basis for computer programming. Volume 2:deductive systems"@fr . . . . "Temporal verification of reactive systems: safety"@fr . . "The mathematical theory of computation"@fr . . . . . . . . . . . . . "Johar Manna"@fr . "Zohar Manna, n\u00E9 le 17 janvier 1939 \u00E0 Ha\u00EFfa et mort le 30 ao\u00FBt 2018 \u00E0 Netanya en Isra\u00EBl, est un informaticien isra\u00E9lo-am\u00E9ricain. Il \u00E9tait professeur \u00E0 l'universit\u00E9 Stanford. Il est r\u00E9put\u00E9 comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages \u00E0 d\u00E9velopper les concepts math\u00E9matiques qui sont \u00E0 la base de la programmation en informatique."@fr . . "Amir Pnueli"@fr . . . . . . . . . "Zohar Manna"@fr . "Zohar Manna"@fr . . . . . . "The temporal logic of reactive and concurrent systems : specification"@fr . . "McGraw Hill"@fr . . "464"^^ . "7506554"^^ . . "Zohar Manna, n\u00E9 le 17 janvier 1939 \u00E0 Ha\u00EFfa et mort le 30 ao\u00FBt 2018 \u00E0 Netanya en Isra\u00EBl, est un informaticien isra\u00E9lo-am\u00E9ricain. Il \u00E9tait professeur \u00E0 l'universit\u00E9 Stanford. Il est r\u00E9put\u00E9 comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages \u00E0 d\u00E9velopper les concepts math\u00E9matiques qui sont \u00E0 la base de la programmation en informatique."@fr . . . "XV+512"@fr . . . . . . . . . . . . . . . . . . . . "Berlin"@fr . "XIV+717"@fr . . . . . . . . . . . "5134"^^ . . . . "The logical basis for computer programming. Volume 1: deductive reasoning"@fr . "Springer"@fr . . . . "The deductive foundations of computer programming"@fr . . . . . "10.1007"^^ . .