Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1998
Knygos puslapių skaičius: 308
ISBN-10: 3540643001
ISBN-13: 9783540643005
Formatas: 235 x 155 x 17 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings“