The B-book : assigning programs to meanings

Szerző: Abrial, Jean-Raymond (1938-)
Megjelenés: 1996

Microprogramming and firmware engineering methods

Megjelenés: 1988

Axiomatising the logic of computer programming

Szerző: Goldblatt, Robert
Megjelenés: 1982

Software development : A rigorous approach

Szerző: Jones, Cliff B. (1944-)
Megjelenés: 1980

Compiler specification and verification

Szerző: Polak, Wolfgang
Megjelenés: 1981

Alternating sequential/parallel processing

Szerző: Wallach, Y.
Megjelenés: 1982

Fundamentals of algebraic specification

Szerző: Ehrig, Hartmut
Megjelenés: 1985
Kapcsolódó cím: Module specifications and constraint

Computational structures : An introductiuon to non-numerical computing

Szerző: Hall, Patrick A. V.
Megjelenés: 1975

Algorithms

Szerző: Sedgewick, Robert (1946)
Megjelenés: 1983

Algorithms

Szerző: Sedgewick, Robert (1946)
Megjelenés: 1983

Logic grammars

Szerző: Abramson, Harvey
Megjelenés: 1989

Software configurastion management : Identification, accounting, control and manegement

Szerző: Ayer, Steve J.
Megjelenés: 1992

Selected writings on computing : a personal perspective

Szerző: Dijkstra, Edsger W.
Megjelenés: 1982

Computer organization and programming

Szerző: Gear, C. William
Megjelenés: 1985

More file formats for popular PC software : A programmer's reference

Szerző: Walden, Jeff (1951-)
Megjelenés: 1987

Handbook of software maintanance : A treasury of technical and managerial tips, techniques, guidelines, ideas, sources, and case studies for efficient, effective, and economical so...

Szerző: Parikh, Girish (1934-)
Megjelenés: 1986

Algebraic switching theory and broadband applications

Szerző: Li, Shuo-Yen Robert
Megjelenés: 2001

Parsing theory

Szerző: Sippu, Seppo
Megjelenés: 1988
Kapcsolódó cím: Language and parsing

The design and construction of compilers

Szerző: Hunter, Robin
Megjelenés: 1983