Home / Authors / Benjamin Weiß

Books by Benjamin Weiß

All books by this author

2 books found
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Deductive Verification of Object-Oriented Software: Dynamic…
By: Benjamin Weiß
View Details
Optimierung von Administrationsprozessen in einem heterogenen Netzwerk mittels Active Directory (German Edition)
Optimierung von Administrationsprozessen in einem heterogen…
By: Benjamin Weiß
View Details