LarchJohn Guttag
Larch
John Guttag, James J. Horning, S. J. Garland · 1993
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
פרטי הספר
- שנה
- 1993
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 5
- עמודים
- 250
- ISBN
- 9783540940067
מקור הנתונים: Wikidata
עוד של John Guttag
Introduction To Computation And Programming Using PythonJohn Guttag
Introduction To Computation And Programming Using Python
John Guttag · 2013
Introduction to computation and programming in PythonJohn Guttag
Introduction to computation and programming in Python
John Guttag · 2012
Larch: Languages and Tools for Formal SpecificationJohn Guttag
Larch: Languages and Tools for Formal Specification
John Guttag · 1993
Introduction to Computation and Programming Using Python, third editionJohn Guttag
Introduction to Computation and Programming Using Python, third edition
John Guttag · 2021
Introduction to Computation and Programming Using Python, Second EditionJohn Guttag
Introduction to Computation and Programming Using Python, Second Edition
John Guttag · 2016
Introduction To Computation And Programming Using PythonJohn Guttag
Introduction To Computation And Programming Using Python
John Guttag · 2014
Introduction to Computation and Programming Using PythonJohn Guttag
Introduction to Computation and Programming Using Python
John Guttag · 2013