Abstract software specifications : 1979 Copenhagen Winter School, January 22- February 2, 1979 : proceedings /

Abstract software specifications : 1979 Copenhagen Winter School, January 22- February 2, 1979 : proceedings /

57

书目详细资料
主要作者:	Bjorner, D. (Dines), 1937-
格式:
出版:	Berlin : Springer-Verleg, 1980
主题:	Programming languages (Electronic computers) Formal languages Programming (Electronic computers)

相似书籍

The Vienna development method : the meta-language /
由: Bjorner, D. (Dines), 1937-, et al.
出版: (1978)

Forman specification and software development /
由: Bjorner, D. (Dines), 1937-, et al.
出版: (1982)

Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September, 1979 /
由: Symposium on Language Design and Programming Mrthodology (1979 : Sydney), et al.
出版: (1980)

Automata, languages and programming : proceedings /
由: 11198 International Colloquium on Automata, Languages and Programming, et al.
出版: (1974)

SAS programmer's guide, 1979 edition /
由: Helwig, Jane T.
出版: (1979)

SAS user's guide, 1979 edition /
由: Helwig, Jane T., et al.
出版: (1979)

Logics of specification languages /
由: Bjorner, D. (Dines), 1937-, et al.
出版: (2008)

Grammars for programming languages /
由: 188623 Cleaveland, J. Craig, et al.
出版: (1977)

Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007: Proceedings /
由: International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark), et al.
出版: (2007)

Practical aspects of declarative languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, proceedings /
由: Van Hentenryck, Pascal
出版: (2006)

Ada : the design choice : proceedings /
由: Ada-Europe International Conference (1989 : Madrid, Spain), et al.
出版: (1989)

Data base description : proceedings /
由: IFIP TC-2 Special Working Conference on Data Base Description (1975 : Wepion, Belgium), et al.
出版: (1975)

Semantics-directed compiler generation : proceedings /
由: Workshop on Semantics-Directed Compiler Generation (1980 : Aarhus)
出版: (1980)

Command languages : proceedings of the IFIP Working Conference on Command Languages /
由: Unger, Claus
出版: (1975)

Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989
由: ACM Symposium on Principles of Programming Languages (16th : 1989 : Austin, Texas)
出版: (1989)

Grammars and automata for string processing : from mathematics and computer science to biology, and back /
由: Martin-Vide, Carlos, et al.
出版: (2003)

Automata, languages and programming : 34th international colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007 : proceedings /
由: International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroclaw, Poland), et al.
出版: (2007)

Computer programs for spelling correction : an experiment in program design /
由: 276066 Peterson, James L.
出版: (1980)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
由: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
出版: (2007)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
由: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
出版: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
由: APLAS 2007 (2007 : Singapore), et al.
出版: (2007)

Programming language foundations /
由: 568521 Stump, Aaron
出版: (2014)

Programming language syntax and semantics /
由: Watt, David A. (David Anthony), et al.
出版: (1990)

Introduction to the theory of programming languages /
由: Meyer, Bertrand, 1950-
出版: (1990)

Computer hardware description languages and applications : proceedings
由: International Symposium on Computer Hardware Description Languages and Their Applications (1975 : University of New York), et al.
出版: (1975)

Automata, languages and programming : proceedings of a symposium organized by Institut de Recherche d'Informatique et d'Automatique, 78-Rocquencourt, France, July 3-7, 1972 /
由: Nivat, M.

Introduction to programming : a Basic approach /
由: 174059 Hare, Van Court
出版: (1970)

Computer programming for business and social science /
由: 212818 Emerick, Paul L., et al.
出版: (1970)

Data abstraction in programming languages /
由: 286120 Bishop, Judy M.
出版: (1986)

A structured approach to building programs : COBOL /
由: 433192 Wells, Timothy D.
出版: (1986)

A calculus of communicating systems /
由: 367312 Milner, Robin
出版: (1980)

Tutorial : object oriented computing /
由: 418211 Peterson, Gerald E.
出版: (1987)

Programming and languages [filem]
出版: ([n.d)

Programming and languages [kasetvideo]
出版: ([19-)

An introduction to Macros /
由: 209082 Campbell, Kelly
出版: (1973)

Concepts of programming languages /
由: 282148 Elson, Mark
出版: (1973)

Thinking with the teachable machine /
由: 404713 Andreae, John H.
出版: (1977)

Panduan penggunaan SL-MATH
由: Universiti Teknologi Malaysia. Pusat Komputer
出版: ([n d)

Panduan penggunaan BODEPLOT
由: Universiti Teknologi Malaysia. Pusat Komputer
出版: ([n d)

Programming basics : using microsoft visual basic, C++, HTML, and Java /
由: Knowlton, Todd
出版: (2002)