عنوان
پدید آورنده
موضوع
رده
TA 345 .N28 2002
TA
345
.
N28
2002
کتابخانه
محل استقرار
Models, algebras and logic of engineering software
2002 : Marktoberdorf, Germany
Amsterdam
IOS Press
c2003
xi, 403 p.: ill
NATO science series. Series III : Computer and systems sciences; v.191
"Published in cooperation with NATO Scientific Affairs Division"
"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"
Includes bibliographies
ISBN: 1586033425
edited by Manfred Broy and Markus Pizka
1
Computer programs ، Engineering
Data processing ، Engineering
، Software engineering
، Computer software -- Development
، System design
TA
345
.
N28
2002
AU
AU Broy, Manfred, 1949-
AU Pizka, Markus
CO North Atlantic Treaty Organization. Scientific Affairs Division
TI
SE
NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software
