Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Concise Guide to Software Verification

Name: Concise Guide to Software Verification
Brand: Springer International Publishing
SKU: 46287954
Price: 63.19 EUR
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031301698

Marieke Huisman

Langue

Anglais

Livre Livre de poche

Code Libristo: 46287954

Éditeurs Springer International Publishing, juillet 2024

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verify... Description détaillée

Code Libristo: 46287954

155 b

63.19 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Politique de retour sous 30 jours

Les clients ont également acheté

API Testing and Development with Postman - Second Edition Dave Westerveld

Livre de poche

50.49 €

Full Stack Testing Gayathri Mohan

Livre de poche

52.09 €

Effective Software Testing Aniche

Livre de poche

60.59 €

Metaforas de flujos luminicos Pilar M. Soto Solier

Livre de poche

91.29 €

Low Tide in Twilight 01 Annabell Führes

Livre de poche

18.00 €

David Copperfield - Band 1, UEbersetzt von Gustav Meyrink Charles Dickens

Livre de poche

24.90 €

KAISEN TOBIUO ARTWORKS: ROOMS (ARTBOOK VO JAPONAIS) TOBIUO

Livre de poche

42.69 €

Италия изнутри. Как на самом деле живут в стране дольче виты? (покет)

Livre de poche

13.79 €

MITICAS 1 EL MISTERIO DE LOS ANIMALES LEGENDARIOS LAUREN MAGAZINER

Livre

13.79 €

In the Name of Freedom Henning Dedekind

Livre relié

23.00 €

Chainsaw Man 18 Tatsuki Fujimoto

Livre

9.09 €

Lottie Brooks und das verflixte Gefühlswirrwarr Katie Kirby

Livre de poche

10.79 €

Bázeň a chvění / Nemoc k smrti Sřren Kierkegaard

Livre de poche

16.09 €

Die Goten und ihre Geschichte Herwig Wolfram

Livre de poche

9.95 €

La Pathologie de l'Attention Nicolas Vaschide

Livre de poche

17.09 €

Contruire ou rénover sa maison Pouvreau

Livre

52.39 €

Notice Sur Mgr Francois-Augustin Delamare Leonce Couture

Livre de poche

15.09 €

Erziehung des Herzens

Livre relié

24.90 €

Educación de adultos y calidad de vida Santiago Sánchez Torrado

Livre de poche

14.99 €

Congres Sociologique International. Turin, 9-15 Octobre 1921. Numero 6 CONGRES SOCIOLOGIQUE

Livre de poche

14.19 €

Shop Girls Tina Schneider-Rading

Livre relié

35.00 €

ITALIANO CON LE PAROLE CROCIATE 3

Livre de poche

21.79 €

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process.

Topics and features:

Covers a broad spectrum of software verification techniques, from model checking to annotation checking
Provides numerous examples to demonstrate the techniques
Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented
Explainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practice

This unique textbook has been written primarily for master's level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.