[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Foundations of Software Science and Computation Structures

Langue AnglaisAnglais
Livre Livre de poche
Livre Foundations of Software Science and Computation Structures Frank Pfenning
Code Libristo: 01663283
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, février 2013
This book constitutes the proceedings of the 16th International Conference on Foundations of Softwar... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Islamic Jurisprudence in the Classical Era Norman Calder / Livre de poche
common.buy 51.05 €
Auswahl mit Variantenvergleich, Planung und produktionswirksame Einfuhrung eines Verfahrens zur Verschlusselung von externen Mails in der Berliner Vol Matthias Müller / Livre de poche
common.buy 40.68 €
Everything I Need to Know I Learned from Other Women B. J. Gallagher / Livre de poche
common.buy 23.54 €
Erfolg ist wie guter Sex Siegfried Keusch / Livre de poche
common.buy 10.69 €
BIENTÔT
Fifty Ways to Leave Your Liver Tom Shields / Livre relié
common.buy 12.41 €
BIENTÔT
Experimenting with Uncertainty / Livre relié
common.buy 89.16 €
Jane Cable George Barr McCutcheon / Livre de poche
common.buy 33.81 €
Hong Kong: The Road to 1997 Roger Buckley / Livre de poche
common.buy 46.34 €
Production-oriented and Comprehension-based Grammar Teaching in the Foreign Language Classroom Anna Mystkowska-Wiertelak / Livre relié
common.buy 134.22 €
European Union After the Crisis / Livre relié
common.buy 134.97 €
Historian in Exile Jeremy Cohen / Livre relié
common.buy 89.58 €
21st Century House Jonathan Bell / Livre de poche
common.buy 34.14 €
European Commission's Energy and Climate Policy Jonas Dreger / Livre relié
common.buy 134.22 €
Exclusions from Patentability Sigrid Sterckx / Livre de poche
common.buy 56.83 €
Formative Writings (Routledge Revivals) Simone Weil / Livre relié
common.buy 271.02 €
Parable of the Lily Liz Curtis Higgs / Livre relié
common.buy 12.94 €

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.

À propos du livre

Nom complet Foundations of Software Science and Computation Structures
Auteur Frank Pfenning
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 451
EAN 9783642370748
ISBN 3642370748
Code Libristo 01663283
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 724
Dimensions 155 x 235 x 25

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Interaction homme-machine > Conception de l’interface utilisateur et facilité d’utilisation
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo