Mathematical Methods in Program Development: Vol 158 - Rilegato

 
9783540631958: Mathematical Methods in Program Development: Vol 158
Rilegato
ISBN 10: 354063195X ISBN 13: 9783540631958
Casa editrice: Springer-Verlag New York Inc, 1997

Sinossi

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag New York Inc
Data di pubblicazione
1997
Lingua
Inglese
ISBN 10 
354063195X
ISBN 13 
9783540631958
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
528
Redattore
Broy Manfred, Schieder Birgit
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783642645884: Mathematical Methods in Program Development: 158

Edizione in evidenza

ISBN 10:  3642645887 ISBN 13:  9783642645884
Casa editrice: Springer, 2011
Brossura