Yazar

John Guttag

19 cilt bulundu.

Cilt sonuçları

Data Structures and Algorithms

John Beidler · Springer Science & Business Media

375 sayfa · 2012-12-06

Computers

Introduction to Computation and Programming Using Python

John Guttag · MIT Press (MA)

320 sayfa · 2013

Computers

Program Development in Java

B. Liskov, John Guttag · Addison-Wesley Professional

472 sayfa · 2001

Computers

Abstraction and Specification in Program Development

B. Liskov, John Guttag · MIT Press (MA)

496 sayfa · 1986

Computers

Larch: Languages and Tools for Formal Specification

John V. Guttag, James J. Horning · Springer Science & Business Media

266 sayfa · 2012-12-06

Computers

Introduction to Computation and Programming Using Python, third edition

John V. Guttag · MIT Press

659 sayfa · 2021-01-26

Computers

Introduction to Computation and Programming Using Python, revised and expanded edition

John V. Guttag · MIT Press

Introduction to Computation and Programming Using Python, second edition

John V. Guttag · MIT Press

466 sayfa · 2016-08-08

Computers

Larch: Languages and Tools for Formal Specification

John V. Guttag, James J. Horning · Springer

250 sayfa · 2012-01-25

Mathematics

Program Development in Java

Abstract data types (Computer science)Report on the Larch Shared LanguageJohn V. Guttag, James J. Horning, Andrés Modet

Report on the Larch Shared Language

John V. Guttag, James J. Horning, Andrés Modet · Yayınevi bilinmiyor

42 sayfa · 1990

Abstract data types (Computer science)

CiltINTRODUCTION TO COMPUTATION&PROGRAMMING USING PYTHON.JOHN V. GUTTAG

INTRODUCTION TO COMPUTATION&PROGRAMMING USING PYTHON.

JOHN V. GUTTAG · Yayınevi bilinmiyor

Sayfa sayısı yok · 2017

Kategori yok

Java (Computer program language)Program Development in JavaB. Liskov, John Guttag

Program Development in Java

B. Liskov, John Guttag · Yayınevi bilinmiyor

443 sayfa · 2001

Java (Computer program language)

Abstract data types (Computer science)Debugging Larch Shared Language SpecificationsStephen J. Garland, John V. Guttag, James J. Horning

Debugging Larch Shared Language Specifications

Stephen J. Garland, John V. Guttag, James J. Horning · Yayınevi bilinmiyor

34 sayfa · 1990

Abstract data types (Computer science)

C (Computer program language)Introduction to LCL, a Larch/C Interface LanguageJohn Guttag, James J. Horning

Introduction to LCL, a Larch/C Interface Language

John Guttag, James J. Horning · Yayınevi bilinmiyor

81 sayfa · 1991

C (Computer program language)

Automatic theorem provingA Guide to LP, the Larch ProverStephen J. Garland, John Guttag

A Guide to LP, the Larch Prover

Stephen J. Garland, John Guttag · Yayınevi bilinmiyor

95 sayfa · 1991

Automatic theorem proving

Integrated circuitsVerification of VLSI Circuits Using LP.Aarhus Universitet. Regionale EDB-center, S. Garland, J. Guttag, J. Staunstrup

Verification of VLSI Circuits Using LP.

Aarhus Universitet. Regionale EDB-center, S. Garland, J. Guttag, J. Staunstrup · Yayınevi bilinmiyor

22 sayfa · 1988

Integrated circuits

CiltИспользование абстракций и спецификаций при разработке программБарбара Лисков

Использование абстракций и спецификаций при разработке программ

Барбара Лисков · Yayınevi bilinmiyor

424 sayfa · 1989

Kategori yok

Computer programmingSome notes on putting formal specifications to productive useJohn Guttag, James J. Horning, Xerox Corporation. Palo Alto Research Center, Jeannette Marie Wing

Some notes on putting formal specifications to productive use

John Guttag, James J. Horning, Xerox Corporation. Palo Alto Research Center, Jeannette Marie Wing · Yayınevi bilinmiyor

15 sayfa · 1982

Computer programming