Fortell venner om denne varen:
Mathematical Foundations of Computer Science: 21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings (21th International Symposium, Mfcs '96, Crakow, Poland, September 2-6, 1996 - Proceedings) - Lecture Notes in Compute
Wojciech Penczek
Pris
NOK 1.069
Bestillingsvarer
Forventes levert 11. - 19. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Mathematical Foundations of Computer Science: 21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings (21th International Symposium, Mfcs '96, Crakow, Poland, September 2-6, 1996 - Proceedings) - Lecture Notes in Compute
Wojciech Penczek
This text presents the proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MCFS '96. The text contains 35 papers which outline relevant aspects of theoretical computer science. It places an emphasis on mathematical and logical foundations.
602 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 7. august 1996 |
| ISBN13 | 9783540615507 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 602 |
| Mål | 156 × 234 × 31 mm · 843 g |
| Språk | Tysk |
| Redaktør | Penczek, Wojciech |
| Redaktør | Szalas, Andrzej |
![Cover for Wojciech Penczek · Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence (Pocketbok) [1st Ed. Softcover of Orig. Ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/420/9783642069420.jpg?wojciech-penczek-2010-advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-studies-in-computational-intelligence-pocketbok&class=scaled&v=1408465096)
![Cover for Wojciech Penczek · Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence (Innbunden bok) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/698/9783540328698.jpg?wojciech-penczek-2006-advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-studies-in-computational-intelligence-innbunden-bok&class=scaled&v=1441583897)