phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Foundations of Software Science and Computation Structures

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Foundations of Software Science and Computation Structures Frank Pfenning
Libristo kód: 01663283
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, února 2013
This book constitutes the proceedings of the 16th International Conference on Foundations of Softwar... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Islamic Jurisprudence in the Classical Era Norman Calder / Brožovaná
common.buy 1 152 Kč
European Union After the Crisis / Pevná
common.buy 3 191 Kč
Připravujeme
Fifty Ways to Leave Your Liver Tom Shields / Pevná
common.buy 294 Kč
Erfolg ist wie guter Sex Siegfried Keusch / Brožovaná
common.buy 515 Kč
Everything I Need to Know I Learned from Other Women B. J. Gallagher / Brožovaná
common.buy 527 Kč
Auswahl mit Variantenvergleich, Planung und produktionswirksame Einfuhrung eines Verfahrens zur Verschlusselung von externen Mails in der Berliner Vol Matthias Müller / Brožovaná
common.buy 1 851 Kč
Připravujeme
Experimenting with Uncertainty / Pevná
common.buy 2 108 Kč
Historian in Exile Jeremy Cohen / Pevná
common.buy 2 025 Kč
Jane Cable George Barr McCutcheon / Brožovaná
common.buy 767 Kč
Exclusions from Patentability Sigrid Sterckx / Brožovaná
common.buy 1 285 Kč
European Commission's Energy and Climate Policy Jonas Dreger / Pevná
common.buy 3 039 Kč
Hong Kong: The Road to 1997 Roger Buckley / Brožovaná
common.buy 1 047 Kč
Formative Writings (Routledge Revivals) Simone Weil / Pevná
common.buy 6 406 Kč
Production-oriented and Comprehension-based Grammar Teaching in the Foreign Language Classroom Anna Mystkowska-Wiertelak / Pevná
common.buy 3 039 Kč
Flow and Combustion in Reciprocating Engines C. Arcoumanis / Pevná
common.buy 3 039 Kč

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013§The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.

Informace o knize

Plný název Foundations of Software Science and Computation Structures
Autor Frank Pfenning
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 451
EAN 9783642370748
ISBN 3642370748
Libristo kód 01663283
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 724
Rozměry 155 x 235 x 25

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet