Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Introducing Software Verification with Dafny Language: Proving Program Correctness, Sitnikovski Boro


Варианты приобретения
Цена: 4611.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Sitnikovski Boro
Название:  Introducing Software Verification with Dafny Language: Proving Program Correctness
ISBN: 9781484279779
Издательство: Springer
Классификация:



ISBN-10: 1484279778
Обложка/Формат: Paperback
Страницы: 152
Вес: 0.22 кг.
Дата издания: 15.03.2022
Язык: English
Издание: 1st ed.
Иллюстрации: 104 illustrations, black and white; xx, 131 p. 104 illus.
Размер: 23.39 x 15.60 x 0.84 cm
Читательская аудитория: Professional & vocational
Подзаголовок: Proving program correctness
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. Its the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so youll learn the concept of computation and software verification. Then, apply these concepts and techniques to confidently write bug-free code that is easy to understand. Source code will be available throughout the book and freely available via GitHub. After reading and using this book youll be able write correct, big free software source code applicable no matter which platform and programming language you use. What You Will Learn * Discover the Microsoft Research-backed Dafny programming language * Explore Hoare logic, imperative and functional programs * Work with pre- and post-conditions * Use data types, pattern matching, and classes * Dive into verification examples for potential re-use for your own projects Who This Book Is For Software developers and programmers with at least prior, basic programming experience. No specific language needed. It is also for those with very basic mathematical experience (function, variables).
Дополнительное описание: Introduction: Languages and Systems.- Chapter 1: Our First Program.- Chapter 2: Logic.- Chapter 3: Computation.- Chapter 4: Mathematical Foundations.- Chapter 5: Proofs.- Chapter 6: Specifications.- Chapter 7: Mathematical Induction.- Chapter 8: Verificat



Interactive Theorem Proving

Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz
Название: Interactive Theorem Proving
ISBN: 331966106X ISBN-13(EAN): 9783319661063
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

A Pipelined Multi-core MIPS Machine

Автор: Mikhail Kovalev; Silvia M. M?ller; Wolfgang J. Pau
Название: A Pipelined Multi-core MIPS Machine
ISBN: 3319139053 ISBN-13(EAN): 9783319139050
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory.

Concurrency, Compositionality, and Correctness

Автор: Dennis Dams; Ulrich Hannemann; Martin Steffen
Название: Concurrency, Compositionality, and Correctness
ISBN: 364211511X ISBN-13(EAN): 9783642115110
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness.

Compositionality, Concurrency, and Partial Correctness

Автор: Job Zwiers
Название: Compositionality, Concurrency, and Partial Correctness
ISBN: 3540508457 ISBN-13(EAN): 9783540508458
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Theorem Proving in Higher Order Logics

Автор: Richard J. Boulton; Paul B. Jackson
Название: Theorem Proving in Higher Order Logics
ISBN: 354042525X ISBN-13(EAN): 9783540425250
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

Interactive Theorem Proving

Автор: Matt Kaufmann; Lawrence C. Paulson
Название: Interactive Theorem Proving
ISBN: 3642140513 ISBN-13(EAN): 9783642140518
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Theorem Proving in Higher Order Logics

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Interactive theorem proving

Название: Interactive theorem proving
ISBN: 3319948202 ISBN-13(EAN): 9783319948201
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.

Value-Range Analysis of C Programs

Автор: Axel Simon
Название: Value-Range Analysis of C Programs
ISBN: 1849967024 ISBN-13(EAN): 9781849967020
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages.

Theorem Proving in Higher Order Logics

Автор: Mark Aagaard; John Harrison
Название: Theorem Proving in Higher Order Logics
ISBN: 3540678638 ISBN-13(EAN): 9783540678632
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия