Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Foundations of Software Science and Computation Structures

16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Foundations of Software Science and Computation Structures Frank Pfenning
Código Libristo: 01663283
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, fevereiro 2013
This book constitutes the proceedings of the 16th International Conference on Foundations of Softwar... Descrição completa
? points 125 b
51.68 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Ghoulies 4 (Uncut), 1 Blu-ray Jim Wynorski / Vídeo Blu-ray
common.buy 13.65 €
Económico
Red Arches Puzzle 1000 Teile / Jogo/brinquedo Jogo
common.buy 14.05 €
Hříšný gentleman Jodi Ellen Malpasová / Livro Livro de capa dura
common.buy 16.88 €
Der Harz - Sagenumwoben und Wildromantisch (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 54.21 €
Love Letter Zman / Jogo/brinquedo Jogo
common.buy 16.88 €
Michel aus Lönneberga 1. Michel in der Suppenschüssel Björn Berg / Livro Livro de capa dura
common.buy 14.46 €
Notes Balacron, bordó, tečkovaný / Livro Folha
common.buy 8.08 €
Pietramelara Antonio Di Lauro / Livro Capa mole
common.buy 19.82 €
Sprachverarbeitung und Integration von stereotypen Erwartungen bei auditiver Wahrnehmung Valentina Slaveva / Livro Capa mole
common.buy 16.18 €
Auswahl mit Variantenvergleich, Planung und produktionswirksame Einfuhrung eines Verfahrens zur Verschlusselung von externen Mails in der Berliner Vol Matthias Müller / Livro Capa mole
common.buy 33.98 €
Tarás Bulba Nikolaj Vasilevic Gogol / Livro Capa mole
common.buy 13.54 €
Compendio y análisis de los principales pronunciamientos del Tribunal Supremo en materia financiera Francisco Javier Cárdenas Gálvez / Livro Capa mole
common.buy 57.85 €
Lo que debe saber todo buen republicano Anónimo / Livro Capa mole
common.buy 14.46 €
I. Genealogie Und Mythographie, A. Vorrede. Text [Nr. 1-63]. Addenda. Konkordanz: A. Kommentar. Nachtrage Felix Jacoby / Livro Livro de capa dura
common.buy 406.04 €
Skoré uzdravenie neuvedený autor / Livro Livro de capa dura
common.buy 4.24 €
Brutus, auch Du! (Historischer Roman) Richard Voß / Livro Capa mole
common.buy 12.33 €
Mamut EVA BALTASAR / Livro Capa mole
common.buy 17.39 €
Naavakuusikon tarinoita Kari Välimäki / Livro Capa mole
common.buy 13.34 €
De Zeden Der Israeliten Gemaekt En De Zeden Der Christenen Gemaekt (1793) Claude Fleury / Livro Capa mole
common.buy 41.77 €
Espiral Magica Logico Primo P-3 Vivi A L'escola. Finken Verlag / Livro Folha
common.buy 22.04 €
vendetta di Frances Farmer Lucia Vaccarino / Livro Livro de capa dura
common.buy 15.77 €
fanculo mascherina: piu di 50 frasi divertenti sulla mascherina Benito Di Luca / Livro Capa mole
common.buy 6.77 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Foundations of Software Science and Computation Structures
Autor Frank Pfenning
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 451
EAN 9783642370748
ISBN 3642370748
Código Libristo 01663283
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 724
Dimensões 155 x 235 x 25

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Principal
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition Daniel Solow / Livro Capa mole
common.buy 90.63 €
Flow and Combustion in Reciprocating Engines C. Arcoumanis / Livro Livro de capa dura
common.buy 102.97 €
Production-oriented and Comprehension-based Grammar Teaching in the Foreign Language Classroom Anna Mystkowska-Wiertelak / Livro Livro de capa dura
common.buy 102.97 €
Defining the Spatial Scale in Modern Regional Analysis Esteban Fernández Vázquez / Livro Capa mole
common.buy 154.36 €
Globalization 2.0 Michael Ceyp / Livro Capa mole
common.buy 50.57 €
The Brain Fitness Blueprint Ruchika Sikri / Livro Capa mole
common.buy 15.97 €
Flatland: A Romance of Many Dimensions Edwin Abbott / Livro Capa mole
common.buy 10.61 €
Followers Bradeigh Godfrey / E-book Adobe ePub DRM
common.buy 10.21 €
Cato a Tragedy. By Joseph Addison, Esq. Joseph Addison / Livro Livro de capa dura
common.buy 28.31 €
Combat HQ Jim Bambra / Livro Capa mole
common.buy 25.58 €
50 Unique Wedding Readings: Including wedding poems, wedding blessings and non-religious writings Marie Kay / Livro Capa mole
common.buy 5.86 €
The Golden Grill: A Colleen Broadhurst Adventure Christine B / Livro Capa mole
common.buy 10.61 €
Ceremonial Songs of the Creek and Yuchi Indians with Music Transcribed by Jacob D. Sapir Frank G Speck / Livro Capa mole
common.buy 22.85 €
Against All Hope - In Hope Believe Eric N Supen / Livro Capa mole
common.buy 11.52 €
On the Necessity for Radical Prison Reform. Philip C Garrett / Livro Capa mole
common.buy 11.22 €
Stranger in Ireland CARR / Livro Livro de capa dura
common.buy 39.34 €
Principal
Racing Car Design and Development Len Terry / Livro Livro de capa dura
common.buy 42.27 €
The Acts of the Risen Lord Jesus: A Biblical Theology of Incarnation Alan J. Thompson / Livro Capa mole
common.buy 21.74 €
Historian in Exile Jeremy Cohen / Livro Livro de capa dura
common.buy 72.32 €
Timelinks: Fifth Grade, Complete Student Edition Set (Volumes 1 and 2) MacMillan/McGraw-Hill / Livro Livro de capa dura
common.buy 122.39 €
Principal
Bringing the Rain to Kapiti Plain Verna Aardema / Livro Capa mole
common.buy 7.27 €
Elements Of Practical Mechanism And Machine Tools James Nasmyth / Livro Capa mole
common.buy 22.85 €
Kenosis: The Self-Emptying of Christ in Scripture and Theology Keith L. Johnson / Livro Livro de capa dura
common.buy 55.63 €
Small Group and Team Communication Emma Keller / Livro Capa mole
common.buy 14.05 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?