Takayasu Ito (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

THEORETICAL ASPECTS OF COMPUTER SOFTWARE : INTERNATIONAL CONFERENCE TACS ’91, SENDAI, JAPAN, SEPTEMBER 24–27, 1991. PROCEEDINGS

Takayasu Ito (ed.); Albert R. Meyer (ed.)
Springer (1991)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

THEORETICAL COMPUTER SCIENCE: EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS : INTERNATIONAL CONFERENCE IFIP TCS 2000 SENDAI

Jan van Leeuwen (ed.); Osamu Watanabe (ed.); Masami Hagiya (ed.); Peter D. Mosses (ed.); Takayasu Ito (ed.)
Springer (2000)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

THEORETICAL ASPECTS OF COMPUTER SOFTWARE : THIRD INTERNATIONAL SYMPOSIUM, TACS'97, SENDAI, JAPAN, SEPTEMBER 23 - 26, 1997, PROCE

Martin Abadi (ed.); Takayasu Ito (ed.)
Springer (1997)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

CONCURRENCY: THEORY, LANGUAGE, AND ARCHITECTURE : UK/JAPAN WORKSHOP, OXFORD, UK, SEPTEMBER 25–27, 1989, PROCEEDINGS

Akinori Yonezawa (ed.); Takayasu Ito (ed.)
Springer (1991)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Theoretical Aspects of Computer Software : International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings

Takayasu Ito (ed.), Albert R. Meyer (ed.)

97,90 €

Springer
Sivumäärä: 776 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1991, 28.08.1991 (lisätietoa)
Kieli: Englanti

TACS'91 is the first International Conference on Theoretical
Aspects of Computer Science held at Tohoku University,
Japan, in September 1991. This volume contains 37 papers and
an abstract for the talks presented at the conference.
TACS'91 focused on theoretical foundations of programming,
and theoretical aspects of the design, analysis and
implementation of programming languages and systems. The
following range of topics is covered: logic, proof,
specification and semantics of programs and languages;
theories and models of concurrent, parallel and distributed
computation; constructive logic, category theory, and type
theory in computer science; theory-based systems for
specifying, synthesizing, transforming, testing, and
verifying software.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus