Tomeki

Explore Books on
korrektheit

1-7 of 7 Books

View Constructing correct software By Cooke, John
Cover of Constructing correct software by cooke, john

Constructing correct software

By Cooke, John

View Topology in Process Calculus By Mingsheng Ying
Cover of Topology in Process Calculus by mingsheng ying

Topology in Process Calculus

By Mingsheng Ying

View Konstruktion guter Algorithmen By Ingo Dittmer
Cover of Konstruktion guter Algorithmen by ingo dittmer

Konstruktion guter Algorithmen

By Ingo Dittmer

View Hardware and software By International Haifa Verification Conference (4th 2008 Haifa, Israel)
Cover of Hardware and software by international haifa verification conference (4th 2008 haifa, israel)

Hardware and software

By International Haifa Verification Conference (4th 2008 Haifa, Israel)

View On a method of multiprogramming By W.H.J. Feijen,A.J.M. van Gasteren
Cover of On a method of multiprogramming by w.h.j. feijen,a.j.m. van gasteren

On a method of multiprogramming

By W.H.J. Feijen,A.J.M. van Gasteren

View Verification of object-oriented software By Bernhard Beckert
Cover of Verification of object-oriented software by bernhard beckert

Verification of object-oriented software

By Bernhard Beckert

View Specification and verification of object oriented software components By Andreas Roth
Cover of Specification and verification of object oriented software components by andreas roth

Specification and verification of object oriented software components

By Andreas Roth