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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 09486332
Price: 51.63 EUR
Availability: InStock
Author: Bernd Fischer
ISBN: 9783319234038

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer

Jaco Geldenhuys

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 09486332

ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2015

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Πλήρης περιγραφή

Κωδικός Libristo: 09486332

125 b

51.63 €

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

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

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

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

Nech se vést láskou Sri Chinmoy

Κάρτες

4.03 €

Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Ημερολόγιο

21.31 €

COLOREA TU UNICORNIO

Βιβλίο

8.58 €

Jóvenes empresarios: apoyo y formación

Χαρτόδετο

54.26 €

Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger

Χαρτόδετο

14.44 €

Two Indian Children of Long Ago Frances Lilian Taylor

Χαρτόδετο

16.26 €

Servalo Raine Hawthorn

Χαρτόδετο

11.91 €

451° по Фаренгейту Рэй Брэдбери

Σκληρόδετο

14.04 €

Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez

Χαρτόδετο

64.76 €

Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT

Σκληρόδετο

6.36 €

Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele

Χαρτόδετο

24.14 €

Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma

Χαρτόδετο

81.74 €

Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij

Σκληρόδετο

83.16 €

Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey

Χαρτόδετο

20.50 €

MONSIEUR MARCEL ou de la communication PELAEZ

Χαρτόδετο

16.06 €

Waiting for spring T01

Χαρτόδετο

10.90 €

Low Carb Diat Fur Anfanger Simone Jacobs

Χαρτόδετο

16.66 €

Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger

Χαρτόδετο

11.71 €

DUSK MAIDEN OF AMNESIA 4 MAYBE

Σκληρόδετο

11.41 €

LAC Wanderkarte Madonie 1:50 000

Χάρτης

7.06 €

Jardin Des Cultures Guyanaises Buland-F

Χαρτόδετο

63.96 €

Teczka ofertowa 9002 A4 20 koszulek

binding.

3.83 €

Krankheiten des Magens Max Einhorn

Χαρτόδετο

24.14 €

TEHG - ZuV 2020 Lars Hoffmann

Βιβλίο

70.02 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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

EWA KASP για

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

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

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

Πλήρες όνομα Model Checking Software

Συγγραφέας Bernd Fischer, Jaco Geldenhuys

Γλώσσα

Αγγλική

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

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

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

EAN 9783319234038

ISBN 331923403X

Κωδικός Libristo 09486332

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 5153

Διαστάσεις 155 x 235 x 20

Κατηγορία

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 > Computer architecture & logic design

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

Είναι εύκολο

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

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin

Σκληρόδετο

674.72 €

Branding Japanese Food Katarzyna J. Cwiertka

Σκληρόδετο

84.98 €

History and Development of the Arabic Language Mohamed El-Sharkawi

Χαρτόδετο

74.16 €

Walks, Tracks and Trails of Queensland's Tropics Derrick Stone

Χαρτόδετο

31.82 €

Journal of Biblical and Theological Studies Ryan A. Brandt

Χαρτόδετο

21.31 €

Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose

Χαρτόδετο

12.72 €

Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale

Χαρτόδετο

12.32 €

The New Century Standard Letter-Writer Alfred B. Chambers

Χαρτόδετο

35.66 €

Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni

Σκληρόδετο

59.61 €

Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov

Χαρτόδετο

61.13 €

US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp

Χαρτόδετο

100.44 €

Come Out of the Kitchen! a Romance (1916) Alice Duer Miller

Σκληρόδετο

46.98 €

Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS

Χαρτόδετο

16.56 €

Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs

Χαρτόδετο

11.31 €