Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Online Ressourcen
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 
 


Ergebnis der Suche nach: dce=511
im Bestand: Gesamter Bestand

1 - 2 von 2
<< < > >>


Online Ressourcen 1 Transformations of specifications and proofs to support an evolutionary formal software development
Schairer, Axel, 2006 		Online Ressource
Online Ressourcen 2 Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage 		Online Ressource


1 - 2 von 2
<< < > >>




Materialarten

Alle Materialarten > Online Ressourcen (2)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (2)

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration