Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Software Engineering and Formal Methods Carlos Canal
Κωδικός Libristo: 09155938
ΕΕκδοτικός οίκος Springer International Publishing AG, Φεβρουάριος 2015
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... Πλήρης περιγραφή
? points 125 b
51.75 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

La Morale Anarchiste Petr Alekseevich Kropotkine / Βιβλίο Χαρτόδετο
common.buy 14.37 €
Het obstipatie formularium A.J.P.M. Smout / Βιβλίο Χαρτόδετο
common.buy 23.79 €
NUEVA NOVELA PR AUTOR PROVISIONAL / Βιβλίο Σκληρόδετο
common.buy 24.70 €
Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Βιβλίο Χαρτόδετο
common.buy 21.06 €
Expressionismus Bahr / Βιβλίο Χαρτόδετο
common.buy 15.39 €
Kraniosakrální terapie Velká kniha Thomas Attlee / Βιβλίο Βιβλίο
common.buy 28.65 €
Diriger et gérer l'entreprise : dossiers et questions Koubi / Βιβλίο Χαρτόδετο
common.buy 24.70 €
Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar / Βιβλίο Χαρτόδετο
common.buy 36.25 €
Sinn der Liebe Wladimir Solov'ev / Βιβλίο Σκληρόδετο
common.buy 32.10 €
OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking / Βιβλίο Χαρτόδετο
common.buy 67.55 €
Ratsburgerschaft und Residenz Christian Schmitz / Βιβλίο Σκληρόδετο
common.buy 159.00 €
R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche / Βιβλίο Χαρτόδετο
common.buy 34.93 €
Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian / Βιβλίο Χαρτόδετο
common.buy 61.57 €
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Βιβλίο Χαρτόδετο
common.buy 9.00 €
Προετοιμαζουμε
Cr?pes & Galettes Hervé Kerourédan / Βιβλίο Σκληρόδετο
common.buy 8.60 €
Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek / Βιβλίο Χαρτόδετο
common.buy 48.40 €
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Βιβλίο Χαρτόδετο
common.buy 25.41 €
Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer / Βιβλίο Χαρτόδετο
common.buy 19.74 €

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Software Engineering and Formal Methods
Συγγραφέας Carlos Canal, Akram Idani
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2015
Αριθμός σελίδων 405
EAN 9783319152004
ISBN 3319152009
Κωδικός Libristo 09155938
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 6555
Διαστάσεις 155 x 235 x 10

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Oxford Phonics World: Level 1: Teacher's Pack with Classroom Presentation Tool 1 / Βιβλίο Χαρτόδετο
common.buy 67.65 €
Unwrapping God's Gift of Life Cheryl Delamarter / Βιβλίο Χαρτόδετο
common.buy 26.42 €
Functional Foods and Nutrition G. Subbulakshami / Βιβλίο Σκληρόδετο
common.buy 121.43 €
Linguistic Landscape of the Mediterranean Stefania Tufi / Βιβλίο Σκληρόδετο
common.buy 135.10 €
From Furs to Farms John Reda / Βιβλίο Σκληρόδετο
common.buy 172.37 €
United States of America Murray / Βιβλίο Σκληρόδετο
common.buy 38.17 €
Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes / Βιβλίο Σκληρόδετο
common.buy 45.16 €
China and Sustainable Development in Latin America López Andres / Βιβλίο Σκληρόδετο
common.buy 131.76 €
Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose / Βιβλίο Σκληρόδετο
common.buy 35.24 €
Wild Kitty L T Meade / Βιβλίο Χαρτόδετο
common.buy 12.55 €
Shih Tzu, Shih Tzu training a: Think Like a Dog, But Don't Eat Your Poop!: Shih Tzu Breed Expert Training, Here's EXACLTY How to Train Yuor Shih Tzu Paul Allen Pearce / Βιβλίο Χαρτόδετο
common.buy 12.95 €
Stylistics and Shakespeare's Language Mireille Ravassat / Βιβλίο Χαρτόδετο
common.buy 57.01 €
Grammar of Ornament by Owen Jones Owen Jones / Βιβλίο Σκληρόδετο
common.buy 48.71 €
Lost in Newfoundland Michael Winsor / Βιβλίο Σκληρόδετο
common.buy 27.13 €
Multi Color Stripes: Diary Weekly Spreads January to December Shayley Stationery Books / Βιβλίο Χαρτόδετο
common.buy 14.68 €
Basic Tagalog Yolanda C. Hernandez / Βιβλίο Χαρτόδετο
common.buy 15.99 €
CSB Men of Character Bible, Revised and Updated, Forest Leathertouch, Indexed Gene A. Getz / Βιβλίο Βιβλίο
common.buy 61.37 €
The Sad Ghost Club Colouring Book Lize Meddings / Βιβλίο Χαρτόδετο
common.buy 10.83 €
Beginning R Larry Pace / Βιβλίο Χαρτόδετο
common.buy 63.70 €
Polymer Additives Jiri E. Kresta / Βιβλίο Χαρτόδετο
common.buy 51.75 €
Nina Simone Feeling Good SATB/Piano (ARRANGER); MUSE (A / Βιβλίο Χαρτόδετο
common.buy 6.98 €
Building Within Nature Andy Wasowski / Βιβλίο Χαρτόδετο
common.buy 22.88 €
Level 3: The Swiss Family Robinson Book and MP3 Pack Johann David Wyss / Βιβλίο Σκληρόδετο
common.buy 10.42 €
Assessing the Hypoxia Threat in U.S. Coastal Waters Steve Frederickson / Βιβλίο Σκληρόδετο
common.buy 244.89 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;