Quick Links

e-Resources
Online Performa for Book Recommendation
e-Books
e-Journals/Databases
DU e-Library
DULS Libraries
Central Library
Arts Library
Central Science Library
Ratan Tata Library
South Campus Library
Department Social Work Library
Law Faculty Library
Law Centre-I Library
Law Centre-II Library
Faculty of Education Library
Faculty of Management Studies
Faculty of Music Library
Braille Library

Normal view MARC view

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh (Personal Name)

Number of records used in: 1

Preferred form: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Notes

Machine generated authority record

Work cat.: (OSt)1664296: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh, Formal Methods for Software Engineering