81- 100 of 2195 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: The Way of Z: Practical Programming with Formal Methods, Author: Jonathan Jacky
QUICK ADD
The Way of Z: Practical…
by Jonathan Jacky
Paperback $79.00
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, Author: Mads Dam
QUICK ADD
Analysis and Verification of…
by Mads Dam (Editor)
#1192 in Series
Paperback $54.99
Title: Metamathematics, Machines and Gödel's Proof, Author: N. Shankar
QUICK ADD
Metamathematics, Machines and…
by N. Shankar
#38 in Series
Paperback $59.00
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings, Author: Hanspeter Mössenböck
QUICK ADD
Modular Programming Languages:…
by Hanspeter Mössenböck (Editor)
#1204 in Series
Paperback $54.99
Title: sed & awk: UNIX Power Tools, Author: Dale Dougherty
QUICK ADD
sed & awk: UNIX Power Tools
by Dale Dougherty, Arnold Robbins
Explore Series
eBook $31.99
Title: sed & awk: UNIX Power Tools, Author: Dale Dougherty
QUICK ADD
sed & awk: UNIX Power Tools
by Dale Dougherty, Arnold Robbins
Explore Series
Paperback $49.99
Title: Writing GNU Emacs Extensions: Editor Customizations and Creations with Lisp, Author: Bob Glickstein
QUICK ADD
Writing GNU Emacs Extensions:…
by Bob Glickstein
Explore Series
eBook $25.99
Title: New Trends in Formal Languages: Control, Cooperation, and Combinatorics, Author: Gheorghe Paun
QUICK ADD
New Trends in Formal Languages…
by Gheorghe Paun (Editor), Arto Salomaa (Editor)
#1218 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy (Editor), Jim Briggs (Editor)
#1251 in Series
Paperback $54.99
Title: The F Language Guide, Author: Wilhelm Gehrke
QUICK ADD
The F Language Guide
by Wilhelm Gehrke
Paperback $54.99
Title: Ada 95 Rationale: The Language - The Standard Libraries, Author: John Barnes
QUICK ADD
Ada 95 Rationale: The Language…
by John Barnes (Editor)
#1247 in Series
Paperback $54.99
Title: Programming Language Concepts, Author: Carlo Ghezzi
QUICK ADD
Programming Language Concepts
by Carlo Ghezzi, Mehdi Jazayeri
Paperback $194.75
Title: Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers, Author: Werner Kluge
QUICK ADD
Implementation of Functional…
by Werner Kluge (Editor)
#1268 in Series
Paperback $54.99
Title: Basic Simple Type Theory, Author: J. Roger Hindley
QUICK ADD
Basic Simple Type Theory
by J. Roger Hindley
#42 in Series
Hardcover $134.00
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings, Author: Hugh Glaser
QUICK ADD
Programming Languages:…
by Hugh Glaser (Editor), Peter Hartel (Editor), Herbert Kuchen (Editor)
#1292 in Series
Paperback $54.99
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, Author: Pascal van Hentenryck
QUICK ADD
Static Analysis: 4th…
by Pascal van Hentenryck (Editor)
#1302 in Series
Paperback $54.99
Title: Clause and Effect: Prolog Programming for the Working Programmer, Author: William F. Clocksin
QUICK ADD
Clause and Effect: Prolog…
by William F. Clocksin
Paperback $84.99
Title: Digital Design and Modeling with VHDL and Synthesis, Author: K. C. Chang
QUICK ADD
Digital Design and Modeling…
by K. C. Chang
#20 in Series
Paperback $144.95
Title: Ada 95, Quality and Style: Guidelines for Professional Programmers, Author: Christine Ausnit-Hood
QUICK ADD
Ada 95, Quality and Style:…
by Christine Ausnit-Hood (Editor), Kent A. Johnson (Editor), Robert G. Pettit IV (Editor), Steven B. Opdahl (Editor)
#1344 in Series
Paperback $59.95
Title: Advanced Object-Oriented Analysis and Design Using UML, Author: James J. Odell
QUICK ADD
Advanced Object-Oriented…
by James J. Odell, Martin Fowler (Foreword by)
#12 in Series
Paperback $76.00

Pagination Links