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

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

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

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

Βοήθεια

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

▸ Άδειο :-(

Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Brand: Springer London Ltd
SKU: 08577018
Price: 80.76 EUR
Availability: InStock
Author: Ernst-Rudiger Olderog
ISBN: 9781447125136

Ernst-Rudiger Olderog

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 08577018

ΕΕκδοτικός οίκος Springer London Ltd, Μάρτιος 2012

This book explores one of the most common approaches to program verification, known as the assertion... Πλήρης περιγραφή

Κωδικός Libristo: 08577018

195 b

80.76 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

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

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

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

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE

Σκληρόδετο

53.91 €

Les origines occultistes de la franc-maçonnerie Lozac'hmeur

Χαρτόδετο

22.59 €

Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee

Χαρτόδετο

10.53 €

Allgemeine Biologie Oscar Hertwig

Χαρτόδετο

33.23 €

Мёртвые души Николай Гоголь

Χαρτόδετο

8.00 €

Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo

Χαρτόδετο

86.54 €

Studiolo Giorgio Agamben

Adobe ePub DRM

10.94 €

Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs

Χαρτόδετο

9.11 €

Samsø Kulturreiseführer Kristen Benning

Χαρτόδετο

18.74 €

Quand les animaux nous font du bien Paoli laurence

Χαρτόδετο

25.63 €

NATURALEZA DE LA POLITICA, LA CASTELLANO

Βιβλίο

11.44 €

Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller

Χαρτόδετο

14.48 €

Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D

Χαρτόδετο

29.58 €

Le second crime de la Dame en noir - roman Lorde Βιβλίο

Χαρτόδετο

23.81 €

Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer

Χαρτόδετο

28.67 €

Kleine Feigheiten Martina Naubert

Χαρτόδετο

9.11 €

Kinder Schlager Party Frank Und Die Nervensägen Zander

Audio CD

22.08 €

Der Deutsche Aufsatz: Neun Abtheilungen Stilistischer Aufgaben Und Ausarbeitungen (1866) Ernst Ludwig Rochholz

Χαρτόδετο

38.20 €

Dilemma Mutterschaft Claudia Winkler

Χαρτόδετο

59.78 €

Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S

Χαρτόδετο

34.95 €

Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN

Βιβλίο

18.03 €

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

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

EWA KASP για

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

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

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

Πλήρες όνομα Verification of Sequential and Concurrent Programs

Συγγραφέας Ernst-Rudiger Olderog

Γλώσσα

Αγγλική

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

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

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

EAN 9781447125136

ISBN 9781447125136

Κωδικός Libristo 08577018

ΕΕκδοτικός οίκος Springer London Ltd

Βάρος 746

Διαστάσεις 156 x 235 x 28

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

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

Είναι εύκολο

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