Results for Thomas S. E. Maibaum

ISBN.nu

search for books and compare prices

Thomas S. E. Maibaum has written 9 work(s)

Search for other authors with the same name

displaying 1 to 9 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Handbook of Logic in Computer Science: Logic and Algebraic Methods

(view table of contents)

By Samson Abramsky (editor), Dov M. Gabbay (editor) and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780198537816 | Oxford Univ Pr on Demand, April 5, 2001, cover price $455.00

Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin

Product Description: ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials...read more (view table of contents, read Amazon.com's description)

By Etaps 200 (other contributor), Fase 200 (other contributor) and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540672616 | Springer Verlag, April 1, 2000, cover price $109.00 | About this edition: ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software.

Handbook of Logic in Computer Science: Semantic Modelling

Product Description: The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field...read more

By Samson Abramsky (editor), Dov M. Gabbay and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780198537809 | Clarendon Pr, June 15, 1995, cover price $400.00 | About this edition: The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science.

Handbook of Logic in Computer Science: Semantic Structures

By Samson Abramsky (editor), Dov M. Gabbay and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780198537625 | Clarendon Pr, June 15, 1995, cover price $430.00

Handbook of Logic in Computer Science: Background Computational Structures

By Samson Abramsky, Dov M. Gabbay and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780198537618 | Clarendon Pr, March 18, 1993, cover price $430.00

Background: Mathematical Structures

Product Description: Logic is now widely recognized to be one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and artificial intelligence research...read more

By S. Abramsky, Dov M. Gabbay and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780198537359 | Clarendon Pr, March 1, 1993, cover price $270.00 | About this edition: Logic is now widely recognized to be one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and artificial intelligence research.

Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 : Advanc

Product Description: TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes...read more

By Samson Abramsky and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387539812 | Springer Verlag, September 1, 1991, cover price $84.95 | About this edition: TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development.

Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 : Colloq

Product Description: TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD)...read more

By Samson Abramsky, International Joint Conference on Theory and Practice of Software Development (other contributor) and Thomas S. E. Maibaum (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387539829 | Springer Verlag, September 1, 1991, cover price $84.95 | also contains Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 : Colloq | About this edition: TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development.

The Specification of Computer Programs

By Thomas S. E. Maibaum, Wadysaw Turski and Wladyslaw M. Turski

See complete details on each edition (1 edition listed)

Hardcover:

9780201142266 | Addison-Wesley, October 1, 1987, cover price $27.00

displaying 1 to 9 | at end