Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
 
 


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

11 - 12 von 12
<< < > >>


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


11 - 12 von 12
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration