Programming and Mathematical Method
International Summer School
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the . specification, . refinement, . verification of programs…
Mehr
CHF 179.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-642-77574-1
- EAN: 9783642775741
- Produktnummer: 13393484
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 424 S.
- Masse: H24.2 cm x B17.0 cm x D2.2 cm 722 g
- Auflage: Softcover reprint of the original 1st ed. 1992
- Abbildungen: Paperback
- Gewicht: 722
50 weitere Werke von Manfred (Hrsg.) Broy:
Advanced Model-Based Engineering of Embedded Systems
International Summer School
International Summer School
Ebook (PDF Format)
CHF 82.50
Model-Driven Development of Reliable Automotive Services
International Summer School
International Summer School
Ebook (PDF Format)
CHF 77.00
VDI-Lexikon Informatik und Kommunikationstechnik
International Summer School
International Summer School
Ebook (PDF Format)
CHF 88.00
50 Jahre Universitäts-Informatik in München
International Summer School
International Summer School
Ebook (PDF Format)
CHF 70.50
Model-Based Engineering of Embedded Systems
International Summer School
International Summer School
Ebook (PDF Format)
CHF 55.50
Control Flow and Data Flow: Concepts of Distributed Programming
International Summer School
International Summer School
Ebook (PDF Format)
CHF 153.50
Engineering Theories of Software Intensive Systems
International Summer School
International Summer School
Ebook (PDF Format)
CHF 183.00
Automotive Software-Connected Services in Mobile Networks
International Summer School
International Summer School
Ebook (PDF Format)
CHF 77.00
Requirements Targeting Software and Systems Engineering
International Summer School
International Summer School
Ebook (PDF Format)
CHF 106.50
Mathematical Methods in Program Development
International Summer School
International Summer School
Ebook (PDF Format)
CHF 153.50
Bewertungen
Anmelden