Full Product Details
Author: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition: Softcover reprint of hardcover 1st ed. 2006
Dimensions:
Width: 15.50cm
, Height: 3.80cm
, Length: 23.50cm
Weight: 1.139kg
ISBN: 9783642059391
ISBN 10: 3642059392
Pages: 714
Publication Date: 12 February 2010
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: Out of print, replaced by POD
We will order this item for you from a manufatured on demand supplier.
Reviews
From the reviews: The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones ... is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. ... By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)
From the reviews: ""The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones … is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. … By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers."" (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)
From the reviews: The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones ... is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. ... By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)
From the reviews: The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones ! is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. ! By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)
