Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με 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

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Software Verification and Analysis

Name: Software Verification and Analysis
Brand: Springer, Berlin
SKU: 01434729
Price: 50.52 EUR
Availability: InStock
Author: Janusz Laski
ISBN: 9781849968294

An Integrated, Hands-On Approach

Janusz Laski

William Stanley

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01434729

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2009

This book addresses the most important techniques in improving the correctness of software, includin...

Κωδικός Libristo: 01434729

122 b

50.52 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

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

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

Calligraphie 100 alphabets Harris

Σκληρόδετο

27.58 €

Seis grandes escritores rusos MARIANO FAZIO

Χαρτόδετο

17.98 €

Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu

Βιβλίο

24.75 €

300 modèles à dessiner en pas à pas - Perspective

Σκληρόδετο

20.50 €

DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC·

Βιβλίο

21.21 €

Faits d’hiver à Riec-sur-Bélon Le Gall

Χαρτόδετο

13.13 €

Quellen zur Geschichte der Stadt Wien Anonym

Χαρτόδετο

35.66 €

Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami

Χαρτόδετο

16.26 €

Viel Glück

Σκληρόδετο

6.96 €

Berlin Barbara Rusch

Σκληρόδετο

27.98 €

La déontologie gouvernementale Kerléo

Χαρτόδετο

35.66 €

La curación del paralítico Groß

Χαρτόδετο

4.23 €

My Gold Mine Hans Joachim Höh

Επιτραπέζιο παιχνίδι

14.24 €

GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI

Χαρτόδετο

33.14 €

Les inconnus de Versailles les coulisses de la Cour Jacques Levron

Χαρτόδετο

12.52 €

Tu entrenador personal Fernando Orpinell

Χαρτόδετο

18.89 €

Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri

Χαρτόδετο

12.72 €

de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A

Χαρτόδετο

19.29 €

CONTRA LA CARIDAD DANIEL RAVENTOS

Χαρτόδετο

34.55 €

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Software Verification and Analysis

Συγγραφέας Janusz Laski, William Stanley

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2010

Αριθμός σελίδων 234

EAN 9781849968294

ISBN 1849968292

Κωδικός Libristo 01434729

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 384

Διαστάσεις 156 x 234 x 13

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Operating systems

Computing & Information Technology > Computer science

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη