Name: Springer international publishing Concise guide to software verification
Brand: Springer International Publishing
Availability: InStock

Springer international publishing Concise guide to software verification

Literatura obcojęzyczna Springer International Publishing

273,55 zł

Wyjątkowa okazja dla Ciebie!

Najkorzystniejszą propozycję ma Libristo.pl w cenie 273,55 zł

Idź do sklepu

Przejrzeliśmy wiele sklepów online w naszej bazie danych aby odnaleźć najlepszą ofertę dla Ciebie. Springer international publishing Concise guide to software verification Springer International Publishing z kategorii literatura obcojęzyczna kupisz w cenie 273,55 zł w sklepie Libristo.pl. Przedstawiona kwota 273,55 zł nie zawiera ewentualnych kosztów wysyłki.

Zobacz wszystkie oferty ...

Cechy:
Literatura obcojęzyczna
Springer International Publishing
9783031301698
miękka
260
2024

Opis Springer international publishing Concise guide to software verification

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 aby 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 checkingProvides numerous examples to demonstrate the techniquesFocuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implementedExplainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practiceThis 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.

Specyfikacja produktu

Specyfikacja Springer international publishing Concise guide to software verification
Kategoria	Literatura obcojęzyczna
Marka	Springer International Publishing
ISBN	9783031301698
Oprawa	miękka
Ilość stron	260
Rok wydania	2024
Aktualnych ofert	1
Najniższa cena	273,55 zł
Najwyższa cena	273,55 zł
W bazie od	20.12.2024
Data aktualizacji	26.12.2024
Opinia użytkowników	-
Nasza recenzja	-
Rekomendacja sklepu	Libristo.pl

Historia cen

Funkcjonalność monitorowania historii zmian cen pozwala Ci podejmować świadome decyzje o zakupie.

Na tę chwilę nie mamy danych archiwalnych cenowych dla tego produktu. Przepraszamy za wszelkie niedogodności.

Recenzje / opinie

Masz ten produkt? Powiedz nam, co o nim myślisz.

Nie znaleźliśmy żadnych recenzji dla tego produktu. Twoja opinia może być pierwsza!

Znalezione oferty w bazie

Ewentualne koszty wysyłki dla Springer international publishing Concise guide to software verification Springer International Publishing nie są uwzględnione w cenach prezentowanych poniżej ofert. Przy wyborze miejsca zakupu produktu, zapoznaj się z renomą sklepu i rozważ dodatkowy koszt związany z wysyłką. Odświeżanie katalogu propozycji następuje co kilkanaście minut.

Springer international publishing Concise guide to software verification (oferta z Libristo.pl)

★★★★★

273,55 zł

Kategoria w sklepie Libristo.pl: Literatura obcojęzyczna Springer International Publishing

Produkty powiązane