Price Ninja
Animali e Forniture per Animali
Migliori Marche Royal Canin cane
Migliori Prodotti cibo secco per cani
Migliori Ricerche miglior cibo per cuccioli
Migliori Ricerche accessori interni per gatti
Migliori Prodotti mangime per pappagalli
Migliori Ricerche semi per canarini
Migliori Prodotti filtri per acquario
Migliori Ricerche pesci tropicali
Abbigliamento e Accessori
Migliori Prodotti abiti in cotone leggeri
Migliori Prodotti sneakers bianche
Migliori Ricerche scarpe comode per camminare
Migliori Marche Gucci occhiali da sole
Migliori Prodotti borse in pelle
Migliori Ricerche cinture in pelle eleganti
Migliori Prodotti completi notte in seta
Migliori Ricerche intimo comodo per uomo
Elettronica
Migliori Marche iPhone 14 Pro
Migliori Prodotti laptop per gaming
Migliori Ricerche auricolari wireless qualità
Salute e Bellezza
Migliori Prodotti fondotinta coprente
Migliori Prodotti integratori per energia

Theoretical Aspects Of Computer Software

A partire da 84,99 $
Avviso di prezzo Prezzo
Avviso di prezzo Prezzo
Prezzo
Resetta i filtri
Prezzo
Resetta i filtri
- image
Theoretical Aspects Of Computer Software

Disponibilità

Springerlink shop int - de
Visa AmericanExpress PayPal

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical …

Prezzo
84,99$
Vedi

Theoretical Aspects Of Computer Software

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.