Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.99 € DHL koeriersdienst 5.99 € GLS koerier 5.49 € DPD-punt 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Concise Guide to Software Verification

Taal EngelsEngels
Boek Paperback
Boek Concise Guide to Software Verification Marieke Huisman
Libristo-code: 46287954
Uitgeverij Springer International Publishing, juli 2024
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verify... Volledige beschrijving
? points 147 b
60.19 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

API Testing and Development with Postman - Second Edition Dave Westerveld / Boek Paperback
common.buy 49.73 €
Effective Software Testing Aniche / Boek Paperback
common.buy 64.00 €
Voordelig
Sestro, sestro Oksana Zabužko / Boek binding.
common.buy 0.69 €
Metaforas de flujos luminicos Pilar M. Soto Solier / Boek Paperback
common.buy 86.61 €
TOP
Low Tide in Twilight 01 Annabell Führes / Boek Paperback
common.buy 16.17 €
KAISEN TOBIUO ARTWORKS: ROOMS (ARTBOOK VO JAPONAIS) TOBIUO / Boek Paperback
common.buy 39.99 €
David Copperfield - Band 1, UEbersetzt von Gustav Meyrink Charles Dickens / Boek Paperback
common.buy 22.20 €
Италия изнутри. Как на самом деле живут в стране дольче виты? (покет) / Boek Paperback
common.buy 12.95 €
MITICAS 1 EL MISTERIO DE LOS ANIMALES LEGENDARIOS LAUREN MAGAZINER / Boek Boek
common.buy 14.56 €
In the Name of Freedom Henning Dedekind / Boek Gebonden
common.buy 19.79 €
Lottie Brooks und das verflixte Gefühlswirrwarr Katie Kirby / Boek Paperback
common.buy 10.54 €
Chainsaw Man 18 Tatsuki Fujimoto / Boek Boek
common.buy 12.85 €
Pouzdro na Laptop 16 - modré Schrijfwaren Schrijfwaren
common.buy 20.89 €
20.000 LEGUAS DE VIAJE SUBMARINO VERNE / Boek Paperback
common.buy 10.54 €
Bázeň a chvění / Nemoc k smrti Sřren Kierkegaard / Boek Paperback
common.buy 18.78 €
ITALIANO CON LE PAROLE CROCIATE 3 / Boek Paperback
common.buy 20.79 €
Die Goten und ihre Geschichte Herwig Wolfram / Boek Paperback
common.buy 11.14 €
Contruire ou rénover sa maison Pouvreau / Boek Boek
common.buy 50.54 €
La Pathologie de l'Attention Nicolas Vaschide / Boek Paperback
common.buy 15.57 €
Notice Sur Mgr Francois-Augustin Delamare Leonce Couture / Boek Paperback
common.buy 13.15 €
Erziehung des Herzens / Boek Gebonden
common.buy 22.21 €
Wer kennt nicht Bollerbeck Erzählungen Wilhelm Thöring / Boek Paperback
common.buy 14.36 €
DIBACE Arif Akdas / Boek Paperback
common.buy 13.46 €
Congres Sociologique International. Turin, 9-15 Octobre 1921. Numero 6 CONGRES SOCIOLOGIQUE / Boek Paperback
common.buy 13.96 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Concise Guide to Software Verification
Auteur Marieke Huisman
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2024
Aantal pagina's 260
EAN 9783031301698
ISBN 3031301692
Libristo-code 46287954
Uitgeverij Springer International Publishing
Gewicht 400
Afmetingen 155 x 235 x 15

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Modern Software Testing Techniques Istvan Forgacs / Boek Paperback
common.buy 34.86 €
Welcome to the One Great Story! Mary Miller Brueggemann / Boek Paperback
common.buy 24.31 €
Impact Evaluation of Infrastructure Interventions Henrik Hansen / Boek Paperback
common.buy 68.73 €
Across The U. S. A. Volume One: Song Book Robert W Blake / Boek Paperback
common.buy 28.93 €
50 Flavors of Butter Ronald G Estes / Boek Paperback
common.buy 15.77 €
Think as if Your Life Depends on It: Principles of Efficient Thinking and Other Lectures Barbara Branden / Boek Paperback
common.buy 15.06 €
Low Sodium Diet Cookbook: Low Salt And Low Fat Recipes For A Heart-Healthy Lifestyle Melody Ambers / Boek Paperback
common.buy 10.74 €
Pancreaticobiliary Maljunction and Congenital Biliary Dilatation Terumi Kamisawa / Boek Gebonden
common.buy 169.92 €
Irregular English Verbs: A systematic approach Jakub Marian / Boek Paperback
common.buy 8.73 €
TOP
Dracopedia Field Guide William O'Connor / Boek Gebonden
common.buy 22.80 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Boek Paperback
common.buy 102.29 €
Buried Alive: Josip Broz Tito's Worst Crime - Huda Jama Roman Leljak / Boek Paperback
common.buy 19.69 €
Relax Baby Be Cool Jeremy Allen / Boek Paperback
common.buy 16.37 €
Importance of Practical Education and Useful Knowledge: Being a Selection from His Orations and Other Discourses Edward Everett / Boek Paperback
common.buy 38.08 €
Animal Models of Drug Addiction Alan A. Boulton / Boek Gebonden
common.buy 179.57 €
SENSATIONAL ASHLEY WARD / Boek Paperback
common.buy 12.55 €
Contemporary Issues in Finance and Insolvency Law Volume 2 Robert (Victoria University Walters / Boek Paperback
common.buy 64.00 €
Wordsmiths at Gorsemere: The Complete Series 1 and 2 Sue Limb / Luisterboek MP3
common.buy 7.33 €
Essential Math for Data Science Thomas Nield / E-book Adobe ePub DRM
common.buy 53.95 €
Inclusive, Empathetic, and Relational Supervisor Behnam Bakhshandeh / Boek Gebonden
common.buy 178.47 €
TOP
I Can Play the Nutcracker Jessica Courtney Tickle / Boek Gebonden
common.buy 19.79 €
Paint, Paper & Going Places Merel Djamila Hoekstra / Boek Paperback
common.buy 21.60 €
TOP
Creative Haven Cozy Corners Coloring Book Teresa Goodridge / Boek Paperback
common.buy 6.92 €
Structural Connections for Lightweight Metallic Structures Pedro M. G. P. Moreira / Boek Gebonden
common.buy 102.29 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?