Tag: D. Bjorner

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61) by D. Bjorner (PDF)

January 6, 2023

Ebook Info Published: 2008 Number of pages: 404 pages Format: PDF File Size: 14.97 MB Authors: D....

Read more

Vdm ’90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science) by D. Bjorner (PDF)

January 6, 2023

Ebook Info Published: 1990 Number of pages: Format: PDF File Size: 21.86 MB Authors: D. Bjorner Description The...

Read more

Advertisement

spot_img