Models, Algebras and Logic of Engineering Software

Models, Algebras and Logic of Engineering Software
Author: Manfred Broy
Publisher: IOS Press
Total Pages: 420
Release: 2003
Genre: Computers
ISBN: 9781586033422
GET BOOK

Download Models, Algebras and Logic of Engineering Software Book in PDF, Epub and Kindle

This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.


Models, Algebras and Logic of Engineering Software
Language: en
Pages: 420

Models, Algebras and Logic of Engineering Software

Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: IOS Press

GET EBOOK

This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant bran
Models, Algebras, and Proofs
Language: en
Pages: 471

Models, Algebras, and Proofs

Authors: Xavier Caicedo
Categories: Mathematics
Type: BOOK - Published: 2021-02-27 - Publisher: CRC Press

GET EBOOK

Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American
Software Engineering 1
Language: en
Pages: 735

Software Engineering 1

Authors: Dines Bjørner
Categories: Computers
Type: BOOK - Published: 2007-06-01 - Publisher: Springer Science & Business Media

GET EBOOK

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in thi
Modeling Time in Computing
Language: en
Pages: 430

Modeling Time in Computing

Authors: Carlo A. Furia
Categories: Computers
Type: BOOK - Published: 2012-10-19 - Publisher: Springer Science & Business Media

GET EBOOK

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the
Engineering Theories of Software Intensive Systems
Language: en
Pages: 418

Engineering Theories of Software Intensive Systems

Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2005-07-15 - Publisher: Springer Science & Business Media

GET EBOOK

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry