Models, Algebras and Logic of Engineering Software

Models, Algebras and Logic of Engineering Software
Author :
Publisher : IOS Press
Total Pages : 420
Release :
ISBN-10 : 1586033425
ISBN-13 : 9781586033422
Rating : 4/5 (422 Downloads)

Book Synopsis Models, Algebras and Logic of Engineering Software by : Manfred Broy

Download or read book Models, Algebras and Logic of Engineering Software written by Manfred Broy and published by IOS Press. This book was released on 2003 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Models, Algebras and Logic of Engineering Software
Language: en
Pages: 420
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: IOS Press

DOWNLOAD 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
Software Engineering 1
Language: en
Pages: 736
Authors: Dines Bjørner
Categories: Computers
Type: BOOK - Published: 2007-06-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in thi
Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli
Concurrency, Graphs and Models
Language: en
Pages: 823
Authors: Pierpaolo Degano
Categories: Computers
Type: BOOK - Published: 2008-06-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all lea
CASL Reference Manual
Language: en
Pages: 520
Authors: Peter D. Mosses
Categories: Computers
Type: BOOK - Published: 2004-02-24 - Publisher: Springer

DOWNLOAD EBOOK

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and developm