عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3658263016
9783658263010
Logische und methodische Grundlagen der Programm- und Systementwicklung :
[Book]
Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung /
Manfred Broy ; unter Mitarbeit von Alexander Malkis.
Wiesbaden
Springer Vieweg
[2019]
© 2019
xiii, 451 Seiten :
Diagramme
Lehrbuch
978-3-658-26302-7
Algebraische Spezifikation
Algorithmische Programmierung
Beweis
Datenstruktur
Funktionale Programmierung
Korrektheit
Objektorientierte Programmierung
Softwareentwicklung
Softwarespezifikation
Systementwicklung
004
DAT
310f
ST
230
stub
rvk
Broy, Manfred, 1949-
Malkis, Alexander
Springer Fachmedien Wiesbaden GmbH, Verlag.
20200823184753.0
rda
مطالعه متن کتاب [Book]
Y
