Can I read Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) on EtoBox?

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) by Dines Bjørner is a computer science book available to read on EtoBox.

What is Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) about?

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, type

Who reads Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)?

Author

Dines Bjørner

Publisher

Springer-Verlag Berlin Heidelberg

Published

2006

Language

EN

ISBN

9783540312888

Category

computer science

Subjects

Engineering, Language Learning, Programming

Rating

4.5 / 5 (2 ratings)

Updated

2026-03-25