Software Engineering 1-3
2999
|
1st ed. 2999
Springer Berlin (Verlag)
978-3-540-21152-5 (ISBN)
Springer Berlin (Verlag)
978-3-540-21152-5 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
The art, craft, discipline, logic, practice and science of developing large scale software products is in increasing need of a trustworthy, believable and professional base. This series of strongly related text books is devoted to fill this need. It combines informal, engineeringly sound approaches with the rigour of formal, mathematics-based approaches.
MSc.EE, 1962, PhD.CS 1969; IBM 1962-1975 (R&D: Sweden, California USA, Switzerland, Austria); Prof. Techn.Univ. of Denmark 1976--.; Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (1979—1989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997); Co-founder of (VDM now) Formal Methods Europe, 1987-.; Member of Academia Europaea; Member of the Russian Academy of Natural Sciences (AB); The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic; The John von Neumann Medal, Hungarian Computer (JvN) Society; Knight of the Danish Flag
| Reihe/Serie | Texts in Theoretical Computer Science. An EATCS Series |
|---|---|
| Zusatzinfo | Approx. 2000 p. 1 volume-set. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Computer Science • Domain Engineering • formal methods • Logics and meanings of programs • Programming languages, compilers, interpreters • Programming Techniques • Requirements Engineering • software architecture • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung |
| ISBN-10 | 3-540-21152-7 / 3540211527 |
| ISBN-13 | 978-3-540-21152-5 / 9783540211525 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
