Methods of Programming
Selected Papers on the CIP-Project
The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents examples ofa formal approach to programming language co…
Mehr
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Wirsing, Martin (Hrsg.)
- ISBN: 978-3-540-54576-7
- EAN: 9783540545767
- Produktnummer: 3297248
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1991
- Seitenangabe: 288 S.
- Masse: H23.4 cm x B15.7 cm x D2.0 cm 429 g
- Auflage: 1991
- Abbildungen: Paperback
- Gewicht: 429
50 weitere Werke von Manfred (Hrsg.) Broy:
Advanced Model-Based Engineering of Embedded Systems
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 82.50
Model-Driven Development of Reliable Automotive Services
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 77.00
VDI-Lexikon Informatik und Kommunikationstechnik
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 88.00
50 Jahre Universitäts-Informatik in München
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 70.50
Model-Based Engineering of Embedded Systems
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 55.50
Model-Based Testing of Reactive Systems
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 112.00
Perspectives of Systems Informatics
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 133.50
Control Flow and Data Flow: Concepts of Distributed Programming
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 153.50
Engineering Theories of Software Intensive Systems
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 183.00
Automotive Software-Connected Services in Mobile Networks
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 77.00
Requirements Targeting Software and Systems Engineering
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 106.50
Mathematical Methods in Program Development
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 153.50
Constructive Methods in Computing Science
Selected Papers on the CIP-Project
Selected Papers on the CIP-Project
Ebook (PDF Format)
CHF 118.50
Bewertungen
Anmelden