Program Construction

International Summer School

AvF.L. Bauer,E.W. Dijkstra

Häftad, Engelska, 1979

Del i serien Lecture Notes in Computer Science

522 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-06-01
Mått:155 x 235 x 36 mm
Vikt:990 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:654
Upplaga:1979
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540092513

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of "natural language programming".- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development — The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always?.- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation — The formal approach.- Program development by stepwise transformations — The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools — Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.

Mer från samma författare

Physikalische und elektrotechnische Grundlagen für Informatiker

W. Hahn, F.L. Bauer, W. Hahn, Friedrich L. Bauer

Häftad, 1974

570 kr

Language Hierarchies and Interfaces

F.L. Bauer, K. Samelson

Häftad, 1976

555 kr

Algorithmic Language and Program Development

F.L. Bauer, H. Wössner

Inbunden, 1982

555 kr

Program Construction

H. Wossner, M. Wirsing, P. Pepper, H. Partsch, C. Pair, S. S. Owicki, J. J. Horning, J. V. Guttag, M. Griffiths, D. Gries, S.L. Gerhart, E.W. Dijkstra, F.L. Bauer, M. Broy, F.L. Bauer

E-bok

2005

701 kr

Algorithmic Language and Program Development

H. Wossner, F.L. Bauer

E-bok

2012

732 kr

Algorithmic Language and Program Development

F.L. Bauer, H. Wössner

Häftad, 2011

555 kr

Decrypted Secrets

F.L. Bauer

E-bok

2013

1 136 kr

Algorithmische Sprache und Programmentwicklung

H. Wossner, F.L. Bauer

E-bok

2013

503 kr

Algorithmische Sprache und Programmentwicklung

F.L. Bauer, H. Wössner

Häftad, 2013

504 kr

Algorithmische Sprache und Programmentwicklung

H. Wossner, F.L. Bauer

E-bok

2013

553 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

539 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

906 kr

Del 8279

Digital Libraries: Social Media and Community Networks

Shalini R. Urs, Jin-Cheon Na, George Buchanan

Häftad, 2013

555 kr

Del 10393

Algorithms and Architectures for Parallel Processing

Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz

Häftad, 2017

1 103 kr

Del 15170

Social Robotics

Haizhou Li, Tanja Schultz, Yalei Bi, Jian Zhu, Hongsheng He, Jun Ma, Siqi Cai, Wanyue Jiang, Shuzhi Sam Ge

Häftad, 2025

805 kr

Del 9987

Graphical Models for Security

Barbara Kordy, Mathias Ekstedt, Dong Seong Kim

Häftad, 2016

555 kr

Del 11308

Mining Intelligence and Knowledge Exploration

Adrian Groza, Rajendra Prasath

Häftad, 2018

555 kr

Federico Bolelli, Achraf Ben-Hamadou, Yaqi Wang, Luca Lumetti, Sergi Pujades, Shuai Wang, Kevin Marchesini, Costantino Grana - Oral and Dental Image Analysis, Häftad

Del 16473

Oral and Dental Image Analysis

Federico Bolelli, Achraf Ben-Hamadou, Yaqi Wang, Luca Lumetti, Sergi Pujades, Shuai Wang, Kevin Marchesini, Costantino Grana

Häftad, 2026

818 kr

Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff - Advanced Information Systems Engineering, Häftad

Del 8484

Advanced Information Systems Engineering

Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff

Häftad, 2014

555 kr

Del 13150

Code-Based Cryptography

Antonia Wachter-Zeh, Hannes Bartz, Gianluigi Liva

Häftad, 2022

610 kr

Du kanske också är intresserad av

Program Construction

H. Wossner, M. Wirsing, P. Pepper, H. Partsch, C. Pair, S. S. Owicki, J. J. Horning, J. V. Guttag, M. Griffiths, D. Gries, S.L. Gerhart, E.W. Dijkstra, F.L. Bauer, M. Broy, F.L. Bauer