Software Engineering 1-3 2999
Dines Bjorner(Author)
Springer (Publisher)
Will be published approx. on 15. May 2999
Book
978-3-540-21152-5 (ISBN)
Unfortunately, price unknown
The article will not be published
Description
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.
More details
Series
Edition
New edition
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Target group
Professional and scholarly
Research
Edition type
New edition
Illustrations
biography
Dimensions
Height: 235 mm
Width: 155 mm
ISBN-13
978-3-540-21152-5 (9783540211525)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Person
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