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
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
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