booktheque

Theories of Programming and Formal Methods

Jonathan P. Bowen, Qin Li, Qiwen Xu · 2023

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2023
שפה
English
הוצאה
Springer
מהדורות
1
ISBN
9783031404351

מקור הנתונים: Wikidata

עוד של Jonathan P. Bowen

Electronic Visualisation in Arts and Culture
Jonathan P. Bowen · 2013
High-Integrity System Specification and Design
Jonathan P. Bowen · 1999
The Z formal specification notation
Jonathan P. Bowen · 1998
The Z formal specification notation
Jonathan P. Bowen · 1997
ZB 2003
Jonathan P. Bowen · 2003
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen · 1995
Engineering Trustworthy Software Systems
Jonathan P. Bowen · 2026
EVA London 2020
Jonathan P. Bowen · 2020
EVA London 2018
Jonathan P. Bowen · 2018
Unifying Theories of Programming
Jonathan P. Bowen · 2017