Logische und methodische Grundlagen der Programm- und Systementwicklung :

" Logische und methodische Grundlagen der Programm- und Systementwicklung : "
Manfred Broy ; unter Mitarbeit von Alexander Malkis.

Document Type	:	BL
Record Number	:	882149
Main Entry	:	Broy, Manfred, 1949-
Title & Author	:	Logische und methodische Grundlagen der Programm- und Systementwicklung : : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung /\ Manfred Broy ; unter Mitarbeit von Alexander Malkis.
Publication Statement	:	Wiesbaden: Springer Vieweg, [2019]
	:	, © 2019
Series Statement	:	Lehrbuch
Page. NO	:	xiii, 451 Seiten :: Diagramme
ISBN	:	3658263016
	:	: 9783658263010
Subject	:	Algebraische Spezifikation
Subject	:	Algorithmische Programmierung
Subject	:	Beweis
Subject	:	Datenstruktur
Subject	:	Funktionale Programmierung
Subject	:	Korrektheit
Subject	:	Objektorientierte Programmierung
Subject	:	Softwareentwicklung
Subject	:	Softwarespezifikation
Subject	:	Systementwicklung
Dewey Classification	:	‭004‬
NLM classification	:	‭DAT 310f‬stub
	:	‭ST 230‬rvk
Added Entry	:	Malkis, Alexander
Added Entry	:	Springer Fachmedien Wiesbaden GmbH, Verlag.

خطا