Cover Image

Principles of model checking/

Main Author:	Baier, Christel
Other Authors:	Katoen, Joost-Pieter
Format:	Book
Language:	English
Published:	Cambridge, Mass. London: MIT Press, [2008?]
Subjects:	Υπολογιστικά συστήματα > Επαλήθευση Ηλεκτρονικοί υπολογιστές > Λογισμικό

Similar Items

Model checking /
by: Clarke, E. M., 1945-
Published: (1999)

Model checking/
by: Clarke, Edmund M., 1945-
Published: (1999)

The Millennium time bomb: a practical guide to the technical and legal issues/
by: Bramley, Caroline
Published: (1998)

Αυτοματοποίηση συσχεδίασης υλικού/λογισμικού/
by: Παυλάτος, Χρήστος Γ.
Published: (2007)

Theorie und Rechtfertigung : Untersuchungen zum Rechtfertingungsproblem axiomatischer Theorien in der Wissenschaftstheorie /
by: Schreiber, A.
Published: (1975)

CoreGRID Integration Workshop 2008 Integrated research in grid computing : [Proceedings], April 2008, Hersonissos, Crete, Greece
Published: (2008)

Grid computing for developers /
by: Silva, Vladimir, 1969-
Published: (2006)

Scientific computation with automatic result verification/
Published: (1988)

Database systems: an application-orientd approach/
by: KIFER, Michael, 1954-
Published: (2006)

Αρχιτεκτονική συσκευών FPD - μελέτη υλοποίησης κυκλώματος στοίβας IP σε FPGA/
by: Κορρές, Ελευθέριος
Published: (2010)

Models in software engineering: workshops and symposia at MoDELS 2006: Genoa, Italy, October 1-6, 2006/
Published: (2007)

Ανάπτυξη πλατφόρμας μοντελοκεντρικής αρχιτεκτονικής για κατανεμημένα συστήματα/
by: Φουκαράκης, Ιωάννης Ε.
Published: (2008)

Usability engineering /
by: NIELSEN, Jakob
Published: (1993)

Principles of model checking /
by: Baier, Christel
Published: (2008)

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Συστήματα ανθεκτικά σε σφάλματα/
by: Σόμπολου, Βασιλική Σ.
Published: (2010)

Computer crisis 2000/
by: Fletcher, W. Michael, 1950-
Published: (1998)

About face 3 : the essentials of interaction design /
Published: (2007)

Embedded systems architecture: a comprehensive guide for enginners and programmers/
by: NOERGAARD, Tammy
Published: (2005)

Embedded security in cars: securing current and future automotive IT applications ; Kerstin Lemke, Christof Paar, Marko Wolf (eds.)
Published: (2006)

Building better interfaces with Microsoft foundation classes/
by: Bugg, Keith, 1952-
Published: (1999)

Διεπαφή χρήστη - υπολογιστή Μια σύγχρονη προσέγγιση
by: Ακουμιανάκης, Δημοσθένης
Published: (2006)

Ανάπτυξη λογισμικού παρακολούθησης της ποιότητας υπηρεσίας για τερματικά IPTV συμβατά με το IMS/
by: Μπουλά, Λεμονιά
Published: (2010)

Designing interfaces/
by: TIDWELL, Jenifer
Published: (2006)

Μελέτη και ανάπτυξη συστήματος αυτόματης εκκίνησης κλήσεων (dialer) για ip τηλέφωνα και διασύνδεση αυτού με εξυπηρετή εφαρμογών (aplication server) με χρήση εφαρμογών διαδικτύου (web service)/
by: Συντίλα, Κωνσταντίνα
Published: (2010)

Αξιολόγηση πακέτων λογισμικού ανάλυση κριτηρίων, μεθόδων και εργαλείων: [Διπλωματική διατριβή] /
by: Χατζηγιάννη, Πηνελόπη Ι.
Published: (2010)

Effective methods for software testing/
by: PERRY, William E.
Published: (2006)

Software systems architecture: working with stakeholders using viewpoints and perspectives/
by: ROZANSKI, Nick
Published: (2005)

Interface design/
by: Alistair, Dabbs
Published: (2001)

Cryptography for developers/
by: Denis, Tom St.
Published: (2007)

ACM transactions on software engineering and methodology
Published: (1992)

From airline reservations to Sonic the Hedgehog : a history of the software industry /
by: Campbell-Kelly, Martin
Published: (2003)

The JFC Swing tutorial : a guide to constructing GUIs /
by: WALARTH, Kathy
Published: (2004)

2000 Οδηγός επιβίωσης για μικρομεσαίες επιχειρήσεις
by: Στεφάνου, Χαράλαμπος
Published: (1999)

Ευφυή ενσωματωμένα συστήματα/
by: Δημόπουλος, Αλέξανδρος Κ.
Published: (2009)

Hardware-Software συσχεδίαση για ενσωματωμένα συστήματα/
by: Πρωτονοτάριος, Δημήτρης-Τοτόμης
Published: (2011)

Zero configuration networking: the definitive guide/
by: Cheshire, Stuart
Published: (2006)

JSP and JSD : The Jackson Approach to Software Development /
by: Cameron, John R., 1922-
Published: (1989)

Authoring-systems software-based training/
by: Milheim, William D.
Published: (1994)

Cannot write session to /tmp/vufind_sessions/sess_0005io3t8o7dne89c522irq9e1