Del 69 - Lecture Notes in Computer Science

Program Construction

International Summer School

Häftad, Engelska, 1979

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

689 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1979-06-01
Mått155 x 235 x 36 mm
Vikt990 g
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor654
Upplaga1979
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540092513

Mer från samma författare

Informatik

F. L. Bauer, G. Goos, F. L. Bauer, G. Goos

749 kr

Del 147

Physikalische und elektrotechnische Grundlagen für Informatiker

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

749 kr

Informatik

F. L. Bauer, R. Gnatz, U. Hill, F. L. Bauer, Rupert Gnatz

749 kr

Informatik

F. L. Bauer, R. Gnatz, U. Hill, F. L. Bauer, Rupert Gnatz

749 kr

Del 46

Language Hierarchies and Interfaces

F.L. Bauer, K. Samelson, F. L. Bauer, Friedrich L. Bauer

729 kr

Erinnerungen an Robert Sauer

F. L. Bauer, G. Schmidt

749 kr

Algorithmic Language and Program Development

F.L. Bauer, H. Wössner, F. L. Bauer, Friedrich L. Bauer

729 kr

Algorithmic Language and Program Development

F.L. Bauer, H. Wössner, F. L. Bauer, Friedrich L. Bauer

729 kr

Del 55

Constructive Methods in Computing Science

Manfred Broy, Manfred Broy, C. A. Hoare, E. W. Dijkstra, F. L. Bauer, M. Broy

1 449 kr

Algorithmische Sprache und Programmentwicklung

F.L. Bauer, H. Wössner, F. L. Bauer, Friedrich L. Bauer

669 kr

Mer från samma serie

Del 170

7th International Conference on Automated Deduction

R. E. Shostak

1 409 kr

Del 319

VLSI Algorithms and Architectures

John H. Reif

1 409 kr

Del 325

Modern Cryptology

Gilles Brassard

629 kr

Del 327

Software Engineering Education

Gary A. Ford, Gary a. Ford

689 kr

Del 336

Error Detection and Recovery in Robotics

Bruce R. Donald

709 kr

Del 374

Cray X-MP/Model 24

Kay A. Robbins, Steven Robbins

729 kr

Del 376

Software Engineering Education

Norman E. Gibbs

729 kr

Del 403

Advances in Cryptology - CRYPTO '88

Shafi Goldwasser

709 kr

Del 408

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Miriam Leeser, Geoffrey Brown

709 kr

Del 423

Software Engineering Education

Lionel E. Deimel

729 kr

Du kanske också är intresserad av

Del 55

Constructive Methods in Computing Science

Manfred Broy, Manfred Broy, C. A. Hoare, E. W. Dijkstra, F. L. Bauer, M. Broy

1 449 kr

Del 288

MetaSoft Primer

Andrzej Blikle, Don Barstow, W. Brauer, P. Brinch Hansen, D. Gries, David Luckham, C. Moler, Amir Pnueli, G. Seegmuller, Josef Stoer, Niklaus Wirth, D. Barstow, D. Luckham, N. Wirth, A. Pnueli, G. Seegmüller, J. Stoer

729 kr

Internet Addiction in Psychotherapy

D. Kuss, M. Griffiths, Daria J. Kuss, Mark D. Griffiths

729 kr

Magic of the Swatchways

Maurice Griffiths, M. Griffiths, M GRIFFITHS

299 kr

Improving the Safety and Quality of Milk

M. Griffiths

7 799 kr

Improving the Safety and Quality of Milk

Mansel W Griffiths, Mansel W. Griffiths, Mansel Griffiths, M. Griffiths

2 989 kr

Understanding Pathogen Behaviour

M. Griffiths

3 139 kr

Informatik

F. L. Bauer, G. Goos, F. L. Bauer, G. Goos

749 kr

Erinnerungen an Robert Sauer

F. L. Bauer, G. Schmidt

749 kr

Informatik

F. L. Bauer, R. Gnatz, U. Hill, F. L. Bauer, Rupert Gnatz

749 kr

Tillhör följande kategorier

Programmeringsböcker inom Data och it

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.

Program Construction

International Summer School

Produktinformation

Mer från samma författare

Informatik

Physikalische und elektrotechnische Grundlagen für Informatiker

Informatik

Informatik

Language Hierarchies and Interfaces

Erinnerungen an Robert Sauer

Algorithmic Language and Program Development

Algorithmic Language and Program Development

Constructive Methods in Computing Science

Algorithmische Sprache und Programmentwicklung

Mer från samma serie

7th International Conference on Automated Deduction

VLSI Algorithms and Architectures

Modern Cryptology

Software Engineering Education

Error Detection and Recovery in Robotics

Cray X-MP/Model 24

Software Engineering Education

Advances in Cryptology - CRYPTO '88

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Software Engineering Education

Du kanske också är intresserad av

Constructive Methods in Computing Science

MetaSoft Primer

Internet Addiction in Psychotherapy

Magic of the Swatchways

Improving the Safety and Quality of Milk

Improving the Safety and Quality of Milk

Understanding Pathogen Behaviour

Informatik

Erinnerungen an Robert Sauer

Informatik

Tillhör följande kategorier

Innehållsförteckning