Python gengo ni yoru puroguramingu intorodakushon : dai 3-han : keisan moderingu to dēta saiensu no ōyō to tomo ni /

Python言語によるプログラミングイントロダクション : 第3版 : 計算モデリングとデータサイエンスの応用とともに /

von Guttag, John V., 1949-

Volltext öffnen

Python gengo ni yoru puroguramingu intorodakushon : dai 2-han : dēta saiensu to apurikēshon /

Python言語によるプログラミングイントロダクション : 第 2版 : データサイエンスとアプリケーション /

von Guttag, John V., 1949-

Volltext öffnen

A annotated bibliography on computer program engineering von Guttag, John V.

The specification and application to programming of abstract data types von Guttag, John V.

Larch languages and tools for formal specification von Guttag, John V., Horning, James J.

Larch: languages and tools for formal specification von Guttag, John V.

Report on the Larch Shared Language Version 2.3 von Guttag, John V., Horning, James J., Modet, Andrés

Debugging larch shared language specifications von Garland, Stephen J., Guttag, John V., Horning, James J.

Introduction to computation and programming using Python von Guttag, John V.

Inhaltsverzeichnis

Introduction to computation and programming using Python von Guttag, John V.

Inhaltsverzeichnis

Introduction to LCL, a Larch/C interface language von Guttag, John V., Horning, J. J.

A guide to LP, the Larch Prover von Garland, Stephen J., Guttag, John V.

Preliminary report o the larch shared language von Guttag, John V., Horning, James Jay

Derived pairs, overlap closures, and rewrite dominoes new tools for analyzing term rewriting systems von Guttag, John V., Kapur, Deepak, Musser, David R.