Theoretical Aspects of Computer Software

Name: Theoretical Aspects of Computer Software
Brand: Springer, Berlin
SKU: 9783540544159
Price: 105.34 EUR
Availability: InStock

International Conference TACS 91, Sendai, Japan, September 24 27, 1991. Proceedings

Автор: Takayasu Ito, Albert R. Meyer

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

105.34 € 206.04 лв

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Toh...

Информация за книгата

Автор

Takayasu Ito, Albert R. Meyer

Език

Английски език

Корици

Книга - С меки корици

Издадена

1960

страници

776

EAN

9783540544159

ISBN

3540544151

Enbook ID

06808589

Издател

Springer, Berlin

Теглоt

1061

Размери

155 x 235 x 39

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Theoretical Aspects of Computer Software

International Conference TACS 91, Sendai, Japan, September 24 27, 1991. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Tiger of Mysore a Story of the War with Tippoo Saib

The Spurs Shirt 2nd Edition: The Official History of the Tottenham Hotspur Jersey

3 powerful codes of real estate marketing and automation

American Surrealist

Leading Cases In The Bible (1905)

Attack On Titan: Before The Fall 13

Combo Prospecting

One Nation Above God Divisible

Collected Supernatural and Weird Fiction of F. Marion Crawford

Клиенти, които купиха тази книга, купиха също

Cuéntame un cuento de hadas y juguetes

Eloge de Rollin, Discours Qui a Obtenu Une Mention Honorable Au Concours de l'Academie Francaise

Mina Ties a Rakhi: Mina Bandhatee Hai Rakhi

MANSA MUSA

Trente ANS de Vie Francaise. Le Bergsonisme. Tome 1

Estimado seńor M. / Dear Mr. M.

Au péril de l humain

ENIGME VAC CM1 CM2 VOLEUR PAPY

Kulturhistorisches Aus Dem Dollar-Lande.

Stand und Entwicklungsperspektiven des Versandhandels