Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("PNUELLI A")

Results 1 to 2 of 2

  • Page / 1
Export

Selection :

  • and

COMPILATION OF NONPROCEDURAL SPECIFICATIONS INTO COMPUTER PROGRAMSPRYWES NS; PNUELLI A.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 267-279; BIBL. 17 REF.Article

DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC: FINITE MODELS, COMPLEXITY, AND COMPLETENESSMORDECHAI BAE BEN ARI; HALPERN JY; PNUELLI A et al.1982; JOURNAL OF COMPUTER AND SYSTEM SCIENCES; ISSN 0022-0000; USA; DA. 1982; VOL. 25; NO 3; PP. 402-417; BIBL. 10 REF.Article

  • Page / 1