Zoeken

U zocht naar: Auteur Weiß, Benjamin Filter Auteur: Weiß, Benjamin weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
thumbnail
Full text!
Auteur:
Weiß, Benjamin
Uitgever:
KIT Scientific Publishing
Type:
e-book