登入選單
Google圖書搜尋
Introduction to Computation
作者
Donald Sannella / Michael Fourman / Haoran Peng / Philip Wadler
出版Springer Nature, 2022-01-19
ISBN
9783030769086 / 3030769089
主題
Computers
Foundations of Algebraic Specification and Formal ...
作者
Donald Sannella / Andrzej Tarlecki
出版Springer Science & Business Media, 2012-01-05
ISBN
9783642173363 / 3642173365
主題
Computers
Toward Formal Development of Programs from Algebra...
作者
Donald Sannella / Andrzej Tarlecki
出版1986
ISBN
OCLC:17411398
主題
Abstract data types (Computer science)
Recent Trends in Data Type Specification
作者
Donald Sannella / Andrzej Tarlecki
出版Springer Science & Business Media, 1988-10-26
ISBN
3540503250 / 9783540503255
主題
Computers
Programming Languages and Systems - ESOP '94
作者
Donald Sannella
出版Springer Science & Business Media, 1994-03-23
ISBN
3540578803 / 9783540578802
主題
Computers
Some Thoughts on Algebraic Specification
作者
Donald Sannella / Andrzej Tarlecki
出版1987
ISBN
OCLC:16809383
主題
Algebraic logic
Specifications in an Arbitrary Institution
作者
Donald Sannella / Andrzej Tarlecki
出版1985
ISBN
OCLC:17622879
主題
Abstract data types (Computer science)
Structure and Representation in LF.
作者
Robert Harper / Donald Sannella / Andrzej Tarlecki
出版1989
ISBN
OCLC:20638698
主題
Logic programming
On Observational Equivalence and Algebraic Specifi...
作者
Donald Sannella / Andrzej Tarlecki
出版1984
ISBN
OCLC:59331362
主題
Abstract data types (Computer science)
Programming Languages and Systems - ESOP '94
作者
Donald Sannella
出版Springer, 1994-03-23
ISBN
3540578803 / 9783540578802
主題
Computers
Formal Program Development in Extended ML for the ...
作者
Donald Sannella
出版1989
ISBN
OCLC:1171222803
主題
ML (Computer program language)
Formal Specification of ML Programs
作者
Donald Sannella
出版1986
ISBN
OCLC:256147069
Toward Formal Development of Programs from Algebra...
作者
Donald Sannella / Andrzej Tarlecki
出版1992
ISBN
OCLC:26180389
主題
Model theory
Syntax, Typechecking and Dynamic Semantics for Ext...
作者
Donald Sannella / F. da Silva
出版1989
ISBN
OCLC:256150582
主題
ML (Computer program language)
Lecture Notes on Categories, Specifications and In...
作者
Donald Sannella
出版1986
ISBN
OCLC:1124024080
Algebraic Specifications in Theory and Practice
作者
Donald Sannella / Andrzej Tarlecki / University of Edinburgh. Department of Computer Science / University of Edinburgh. Laboratory for Foundations of Computer Science
出版1987
ISBN
OCLC:606222503
Toward Formal Development of Programs from Algebra...
作者
Donald Sannella / Stefan Sokołowski / Andrzej Tarlecki
出版1992
ISBN
OCLC:316135190
主題
Model theory
HOPE Et ML
作者
Donald Sannella / Martin Wirsing
出版1987
ISBN
OCLC:46155878
Interfaces and Extended ML
作者
Stefan Kahrs / Donald Sannella / Andrzej Tarlecki
出版1994
ISBN
OCLC:59896776
主題
Computer software
Trustworthy Global Computing
作者
Ugo Montanari / Donald Sannella / Roberto Bruni
出版Springer, 2007-11-22
ISBN
3540753338 / 9783540753339
主題
Computers
Extended ML
作者
Donald Sannella / Andrzej Tarlecki
出版1986
ISBN
OCLC:17194204
主題
Computer programs
Formal specification of ML programs
作者
Donald Sannella
出版1988
ISBN
OCLC:633012305
主題
Computer software
Toward Formal Development of ML Programs: Foundati...
作者
D. Sannella / A. Tarlecki
出版1989
ISBN
OCLC:256149796
主題
Computer software
A Survey of Formal Software Development Methods
作者
Donald Sannella
出版1988
ISBN
OCLC:20159209
主題
Computers
Model-theoretic Foundations for Program Developmen...
作者
Polska Akademia Nauk. Instytut Podstaw Informatyki / Donald Sannella / Andrzej Tarlecki
出版1995
ISBN
OCLC:123339335
Extended ML
作者
Donald Sannella / Andrzej Tarlecki
出版1991
ISBN
OCLC:475818596
主題
Extended ML (Computer program language)
The Definition of Extended ML
作者
Stefan Kahrs / Andrzej Tarlecki
出版1995
ISBN
OCLC:34749315
主題
ML (Computer program language)
Implementation of Parameterised Specifications
作者
Donald Sannella / Martin Wirsig
出版1982
ISBN
OCLC:61735348
主題
Abstract data types (Computer science)
Types for Modules
作者
Claudio V. Russo / University of Edinburgh. Department of Computer Science
出版1998
ISBN
OCLC:606024549
Abstraction Barriers and Refinement in the Polymor...
作者
Jo E. Hannay / Donald Sannella / Martin Hofmann
出版2001
ISBN
OCLC:827261331