Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Symbolisches Model Checking variabler Verhaltensspezifikationen
Symbolisches Model Checking variabler Verhaltensspezifikationen
Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung »
 
 
 
 
 

Automatische Verbesserung von orthogonalen Variabilitätsmodellen
Automatische Verbesserung von orthogonalen Variabilitätsmodellen
Konsistenzprüfung und Korrektur von Variabilitätsmodellen für Softwareproduktlinien »