Balancing agility and formalism in software engineering
: revised selected papers / Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE SET 2007, Poznań, Poland, October 10 - 12, 2007 / Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5082)
ISBN 978-3-540-85279-7
Lizenzpflichtig
Quelle: DNB
Dittrich, Yvonne: Computeranwendungen und sprachlicher Kontext
: zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software / Yvonne Dittrich. - Frankfurt am Main : Lang, 1997. - 266 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 41, Informatik; Bd. 27)
ISBN 978-3-631-32024-2 / 3-631-32024-8 kart. : ca. DM 84.00 (freier Pr.)
Quelle: DNB
Siefkes, Dirk: Formale Methoden und kleine Systeme
: lernen, leben und arbeiten in formalen Umgebungen / Dirk Siefkes. - Braunschweig : Vieweg, 1992. - 190 S.; 23 cm - (Theorie der Informatik)
ISBN 978-3-528-05199-0 / 3-528-05199-X kart. : DM 54.00
Literaturverz. S. 173 - 188
Quelle: DNB
Formal program development
: IFIP TC 2/WG 2.1 state of the art report / IFIP. Bernhard Möller ... (ed.). - Berlin : Springer, 1993. - 371 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 755)
ISBN 978-3-540-57499-6 / 3-540-57499-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Weber, Karl Matthias: A meta-calculus for formal system development
/ Matthias Weber. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 197 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 195)
ISBN 978-3-486-21994-4 / 3-486-21994-4 kart. : DM 52.00
Quelle: DNB
Neumann, Franziska: Die Ordnung des Berges
: Formalisierung und Systemvertrauen in der sächsischen Bergverwaltung (1470-1600) / von Franziska Neumann. - Wien : Böhlau Verlag, 2021. - 411 Seiten; 24 cm, 864 g - (Norm und Struktur; Band 52)
ISBN 978-3-412-52102-8 / 3-412-52102-7 Festeinband : EUR 70.00 (DE), EUR 72.00 (AT)
Quelle: DNB
Simons, Martin: The presentation of formal proofs
/ Martin Simons. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1997. - 169 S.; 23 cm - (GMD-Bericht; Nr. 278)
ISBN 978-3-486-24262-1 / 3-486-24262-8 kart. : DM 53.00, sfr 46.00, S 387.00
Quelle: DNB
Nieznański, Edward: Towards a formalization of Thomistic theodicy
: formalized attempts to set formal logical bases to state first elements of relations considered in the Thomistic theodicy / Edward Nieznański. - Frankfurt, M. : Lang-Ed., 2013. - 193 S. : graph. Darst.; 22 cm - (European studies in theology, philosophy and history of religions; Vol. 5)
ISBN 978-3-631-62339-8 / 3-631-62339-9 Pp. : EUR 42.95 (DE) (freier Pr.), EUR 44.10 (AT) (freier Pr.), sfr 49.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
