FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Livres - Springer International Publishing AG - 9783319192482 - 2 juin 2015
Si la couverture et le titre ne correspondent pas, le titre est correct.

Nikolaj Bjorner
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science 2015 edition

Prix
zł 213,90

Commandé depuis un entrepôt distant

Livraison prévue 25 déc. - 2 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

610 pages, 156 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 2 juin 2015
ISBN13 9783319192482
Éditeurs Springer International Publishing AG
Pages 610
Dimensions 155 × 235 × 32 mm   ·   9,36 kg
Langue et grammaire Français  
Éditeur Bjørner, Nikolaj
Éditeur De Boer, Frank
Afficher tout

Plus par Nikolaj Bjorner

Voir tous les Nikolaj Bjorner ( par ex. Paperback Book )