Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Concise Guide to Software Verification

Limba englezăengleză
Carte Carte broșată
Carte Concise Guide to Software Verification Marieke Huisman
Codul Libristo: 46287954
Editura Springer International Publishing, iulie 2024
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verify... Descrierea completă
? points 155 b
336.34 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

API Testing and Development with Postman - Second Edition Dave Westerveld / Carte Carte broșată
common.buy 268.69 lei
Full Stack Testing Gayathri Mohan / Carte Carte broșată
common.buy 276.94 lei
Effective Software Testing Aniche / Carte Carte broșată
common.buy 322.14 lei
Metaforas de flujos luminicos Pilar M. Soto Solier / Carte Carte broșată
common.buy 485.62 lei
Top
Low Tide in Twilight 01 Annabell Führes / Carte Carte broșată
common.buy 90.39 lei
David Copperfield - Band 1, UEbersetzt von Gustav Meyrink Charles Dickens / Carte Carte broșată
common.buy 124.53 lei
KAISEN TOBIUO ARTWORKS: ROOMS (ARTBOOK VO JAPONAIS) TOBIUO / Carte Carte broșată
common.buy 218.06 lei
Италия изнутри. Как на самом деле живут в стране дольче виты? (покет) / Carte Carte broșată
common.buy 69.30 lei
MITICAS 1 EL MISTERIO DE LOS ANIMALES LEGENDARIOS LAUREN MAGAZINER / Carte Carte
common.buy 77.55 lei
In the Name of Freedom Henning Dedekind / Carte Copertă tare
common.buy 111.27 lei
Chainsaw Man 18 Tatsuki Fujimoto / Carte Carte
common.buy 51.04 lei
Lottie Brooks und das verflixte Gefühlswirrwarr Katie Kirby / Carte Carte broșată
common.buy 54.38 lei
Top
Bázeň a chvění / Nemoc k smrti Sřren Kierkegaard / Carte Carte broșată
common.buy 91.12 lei
Die Goten und ihre Geschichte Herwig Wolfram / Carte Carte broșată
common.buy 57.20 lei
La Pathologie de l'Attention Nicolas Vaschide / Carte Carte broșată
common.buy 91.12 lei
Contruire ou rénover sa maison Pouvreau / Carte Carte
common.buy 268.48 lei
Notice Sur Mgr Francois-Augustin Delamare Leonce Couture / Carte Carte broșată
common.buy 80.48 lei
Erziehung des Herzens / Carte Copertă tare
common.buy 124.53 lei
Educación de adultos y calidad de vida Santiago Sánchez Torrado / Carte Carte broșată
common.buy 76.30 lei
Congres Sociologique International. Turin, 9-15 Octobre 1921. Numero 6 CONGRES SOCIOLOGIQUE / Carte Carte broșată
common.buy 75.47 lei
Shop Girls Tina Schneider-Rading / Carte Copertă tare
common.buy 164.51 lei
ITALIANO CON LE PAROLE CROCIATE 3 / Carte Carte broșată
common.buy 110.64 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Concise Guide to Software Verification
Autor Marieke Huisman
Limba engleză
Legare Carte - Carte broșată
Data publicării 2024
Număr pagini 260
EAN 9783031301698
ISBN 3031301692
Codul Libristo 46287954
Editura Springer International Publishing
Greutatea 400
Dimensiuni 155 x 235 x 15

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Modern Software Testing Techniques Istvan Forgacs / Carte Carte broșată
common.buy 190.82 lei
SENSATIONAL ASHLEY WARD / Carte Carte broșată
common.buy 66.49 lei
50 Flavors of Butter Ronald G Estes / Carte Carte broșată
common.buy 85.59 lei
Low Sodium Diet Cookbook: Low Salt And Low Fat Recipes For A Heart-Healthy Lifestyle Melody Ambers / Carte Carte broșată
common.buy 58.24 lei
Bookbinding: The Care of Books Douglas Cockerell / Carte Carte broșată
common.buy 46.97 lei
Irregular English Verbs: A systematic approach Jakub Marian / Carte Carte broșată
common.buy 47.17 lei
Top
Dracopedia Field Guide William O'Connor / Carte Copertă tare
common.buy 124.95 lei
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Carte Carte broșată
common.buy 571.12 lei
Buried Alive: Josip Broz Tito's Worst Crime - Huda Jama Roman Leljak / Carte Carte broșată
common.buy 106.68 lei
Relax Baby Be Cool Jeremy Allen / Carte Carte broșată
common.buy 89.56 lei
Importance of Practical Education and Useful Knowledge: Being a Selection from His Orations and Other Discourses Edward Everett / Carte Carte broșată
common.buy 205.64 lei
Structural Connections for Lightweight Metallic Structures Pedro M. G. P. Moreira / Carte Copertă tare
common.buy 571.12 lei
Wordsmiths at Gorsemere: The Complete Series 1 and 2 Sue Limb / Audiobook MP3
common.buy 37.15 lei
Essential Math for Data Science Thomas Nield / E-book Adobe ePub DRM
common.buy 274.33 lei
Inclusive, Empathetic, and Relational Supervisor Behnam Bakhshandeh / Carte Copertă tare
common.buy 863.52 lei
Paint, Paper & Going Places Merel Djamila Hoekstra / Carte Carte broșată
common.buy 105.63 lei
Top
Creative Haven Cozy Corners Coloring Book Teresa Goodridge / Carte Carte broșată
common.buy 37.99 lei
Alphabet of Old Friends Walter Crane / Carte Carte broșată
common.buy 45.40 lei
Karneval, Vol. 5 Touya Mikanagi / Carte Carte broșată
common.buy 100.41 lei
Top
Jane Eyre Charlotte Brontë / Carte Carte broșată
common.buy 43.00 lei
Curând
Algebras, Diagrams and Decisions in Language, Logic and Computation Kees Vermeulen / Carte Copertă tare
common.buy 381.75 lei
Across The U. S. A. Volume One: Song Book Robert W Blake / Carte Carte broșată
common.buy 156.68 lei
Devils and Evil Spirits of Babylonia R. Campbell Thompson / Carte Carte broșată
common.buy 175.16 lei
Modeling of Land-Use and Ecological Dynamics Danny Czamanski / Carte Copertă tare
common.buy 571.12 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo