78 résultats
1992044829United Kingdom: Pagan Federation 1992. 1st Edition . Paperback. Very Good. 4to - over 9¾" - 12" tall. No 102 Imbolc1992-No 112 Lugnassadh 1994 11 issues Journal of the Pagan Federation A Newsletter of the Old Religion of Wisecraft and Pagan Comment. London 1990-1991. 11 issues illus approx 14-26pp each fliers magazines 11 issues pict white/green covers some discolouration date stamped vg <br/> <br/> Pagan Federation paperback
1999SONG0521355648Cambridge University Press 1999-06-28. hardcover. Used: Good. 6.50x1.00x9.50. Buy with confidence. Excellent Customer Service & Return policy. Cambridge University Press hardcover
19812688<p><strong>Formal Specification of Programming Languages: A Panoramic Primer</strong></p><p><strong>Frank G. Pagan</strong> Prentice Hall 1981 Hardcover</p><p><strong>Description</strong></p><p>Frank G. Pagan's <em>Formal Specification of Programming Languages</em> provides a broad structured introduction to the <strong>formal description techniques</strong> used to define programming languages with mathematical precision. Written at a time when formal methods were becoming central to programming‑language theory the book surveys:</p><ul><li><p><strong>algebraic specification</strong></p></li><li><p><strong>operational semantics</strong></p></li><li><p><strong>denotational semantics</strong></p></li><li><p><strong>attribute grammars</strong></p></li><li><p><strong>syntax‑directed definitions</strong></p></li><li><p><strong>verification‑oriented specification frameworks</strong></p></li></ul><p>Pagan's "panoramic" approach emphasizes conceptual clarity and comparative understanding making this volume a valuable reference for researchers in <strong>programming‑language theory</strong> <strong>compiler design</strong> and <strong>formal methods</strong>. The 1981 Prentice Hall hardcover is now scarce especially in collector‑grade condition.</p> Prentice Hall hardcover
