KIRJAUDU
Foundations of Software Technology and Theoretical Computer Science - 17th Conference, Kharagpur, India, December 18-20, 1997. P
51,40 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 351 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997 ed.
Julkaisuvuosi: 1997, 28.11.1997 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1346
Sivumäärä: 351 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997 ed.
Julkaisuvuosi: 1997, 28.11.1997 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1346
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783540638766
Aihealue:
|
Toimitusehdot |
Asiakaspalvelu |
YHTEYSTIEDOT |
SEURAA MEITÄ
|
 |
Booky.fi | Kotimainen kirjakauppasi netissä
Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!
Tietosuojaseloste
