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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274836
Price: 102.86 EUR
Availability: InStock
Author: Alan J. Hu
ISBN: 9783540646082

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Alan J. Hu

Moshe Y. Vardi

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05274836

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούνιος 1998

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Πλήρης περιγραφή

Κωδικός Libristo: 05274836

249 b

102.86 €

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

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

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

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

Moderno diccionario del diablo MARCIUS SHAPIRO

Σκληρόδετο

17.57 €

SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Βιβλίο

Βιβλίο

11.91 €

Lambacher Schweizer Mathematik 8. Ausgabe Thüringen

Λίστα

12.82 €

Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki

Χαρτόδετο

13.53 €

Brest abri 668 GERARD Βιβλίο

Χαρτόδετο

13.13 €

BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Βιβλίο

Χαρτόδετο

13.13 €

Messmer winterpunsch tee, 50g Παιχνίδι/Επιτραπέζιο παιχνίδι

Παιχνίδι

7.06 €

Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi

Χαρτόδετο

49.81 €

On ne parle pas aux chouchous ! Kecir-Lepetit

Χαρτόδετο

8.38 €

Hermeneutiken Lutz Danneberg

Σκληρόδετο

188.35 €

Hase und Igel Axel Scheffler

Χαρτόδετο

6.66 €

Bu Benim.Zip Asli Serin

Χαρτόδετο

11.21 €

Familienunternehmen im Nachfolgeprozess Frank A. Halter

Χαρτόδετο

55.27 €

Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume

Χαρτόδετο

16.26 €

100 Abenteuerreisen Rudolf S Rehberg

Χαρτόδετο

34.85 €

Strategien der Identitätssuche Iris Julia Gütler

Χαρτόδετο

59.91 €

Hannebambel Roland Pecher

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

8.48 €

neue E-Bilanz Judith Pohler

Χαρτόδετο

22.42 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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

EWA KASP για

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

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

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

Πλήρες όνομα Computer Aided Verification

Συγγραφέας Alan J. Hu, Moshe Y. Vardi

Γλώσσα

Αγγλική

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

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

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

EAN 9783540646082

ISBN 3540646086

Κωδικός Libristo 05274836

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 720

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

Κατηγορία

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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

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

Selected Articles on Social Insurance. Multiple Contributors

Χαρτόδετο

37.88 €

Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett

Χαρτόδετο

11.71 €

Kept for Jesus Sam Storms

Χαρτόδετο

20.00 €

Liberal Quicksand Yves Decock

Χαρτόδετο

26.77 €

Fenway Park David Hickey

Χαρτόδετο

20.81 €

The Founding Foodies Dave DeWitt

Χαρτόδετο

20.91 €

Manhunt: The Pursuit of Harry Tracy Bill Gulick

Χαρτόδετο

17.17 €

Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter

Χαρτόδετο

13.33 €

Principles of Marketing Philip T. Kotler

Σκληρόδετο

264.24 €

GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile

Σκληρόδετο

36.17 €

When the Clouds Fell from the Sky Robert Carmichael

Adobe ePub DRM

4.44 €

Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone

Χαρτόδετο

30.61 €