Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium...

Main
Computers - Programming
VDM '87 VDM — A Formal Method at Work:...

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Kategorije:

Computers - Programming

Godina:

1987

Izdanje:

1

Izdavač:

Springer-Verlag Berlin Heidelberg

Jezik:

english

Strane:

422

ISBN 10:

3540176543

ISBN 13:

9783540176541

Serije:

Lecture Notes in Computer Science 252

Fajl:

DJVU, 4.46 MB

IPFS:

,

english, 1987

Preuzimanje ove knjige nije dostupno zbog žalbe vlasnika autorskih prava

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Možda će vas zanimati

David A. Schmidt — Denotational Semantics: A Methodology for Language Development

Desconocido — David A Schmidt Denotational Semantics A Methodology For Language Development 1997

Kenneth Slonneger, Barry Kurtz — Formal Syntax And Semantics Of Programming Languages

David A. Schmidt — Denotational Semantics: A Methodology for Language Development

Heinz Zemanek (auth.), Dines Bjøorner (eds.) — Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Harald Ganzinger (auth.), Neil D. Jones (eds.) — Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

J G Turner; T L McCluskey — The construction of formal specifications : an introduction to the model-based and algebraic approaches

Cliff B. Jones — Systematic Software Development Using VDM

Kenneth Slonneger, Barry L. Kurtz — Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

David A. Schmidt — Denotational Semantics: A Methodology for Language Development

Meertens, Lambert G (eds.) — Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

Lloyd Allison — A Practical Introduction to Denotational Semantics

J. M. Spivey — Understanding Z: A Specification Language and its Formal Semantics

David A. Schmidt — Denotational Semantics. A Methodology for Language Development

F. D. Rolland (auth.) — Programming with VDM

Harald Ganzinger (auth.), Neil D. Jones (eds.) — Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

Dines Bjørner — Software Engineering 1: Abstraction and Modelling

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

Dines Bjorner, C.A.R. Hoare, Hans Langmaack — Formal Methods in Software Development

J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.) — TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.) — FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

Desconocido — David A Schmidt Denotational Semantics A Methodology For Language Development 1997

Najčešći pojmovi