Logics of specification languagesD. Bjørner

Logics of specification languages

D. Bjørner, Martin C. Henson · 2007

איפה לקנות

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

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

פרטי הספר

שנה: 2007
שפה: English
הוצאה: Springer
מהדורות: 5
עמודים: 624
ISBN: 9783540741060

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

עוד של D. Bjørner

Perspectives of system informaticsD. Bjørner

Perspectives of system informatics

D. Bjørner · 2000

Formal methods and hybrid real-time systemsD. Bjørner

Formal methods and hybrid real-time systems

D. Bjørner · 2007

Formal methods in programming and their applicationsD. Bjørner

Formal methods in programming and their applications

D. Bjørner · 1993

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978