Методи верифікації програм. Миронов А. М
- Артикул: BC-078238
- Наявність: Є в наявності
У книзі викладаються питання моделювання та верифікації (тобто докази правильності) різних класів програм. Основні концепції та на них підходи до верифікації ілюстровані прикладами верифікації різних програм. Для закріплення засвоєння викладеного матеріалу у книзі наведено велику кількість завдань.
Книга призначена для студентів вищих навчальних закладів, які навчаються за спеціальностями «теоретичні засади інформатики», «штучний інтелект» та «інформаційна безпека». Також вона представляє інтерес для фахівців у цих галузях
| Інформація про книгу | |
| Автор | Миронов А. М |
| Обкладинка | М'який |
| Мова видання | Російська |
| Сторінок | 336 |
Рекомендовані товари
React 18 Design Patterns and Best Practices/ Carlos Santana Roldán
Dive in and discover how to build awesome React web apps that you can scale and maintain using design patterns and the latest industry insightsKey FeaturesDiscover and unpack the latest React 18 and Node 19 features in this updated fourth editionGet ..
660.00 грн.
Мова програмування C++. Лекції та вправи, том 1, 6-те вид. Стівен Прата
Ця книга являє собою ретельно перевірений, якісно складений і один з найкращих підручників з мови програмування C++ для програмістів і розробників.Ця класична книжка з C++ навчає принципам програмування, серед яких структурований код і низхідне проєк..
880.00 грн.
React in Depth. Morten Barklund
Book description A guide to the advanced React skills used by the very best React developers. React in Depth teaches the React libraries, tools and techniques that are vital to build amazing apps. You’ll put each skill you learn into practi..
800.00 грн.
Java Persistence Api і Hibernate. Крістіан Бауер, Гевін Кінг, Гері Грегорі
Java Persistence – механізм, що допомагає забезпечити збереження даних після завершення програми, що є головною рисою сучасних додатків. Hibernate – найбільш популярний інструмент Java для роботи з базами даних, надає автоматичне прозоре об'єктно-рел..
950.00 грн.
Основи компіляції: інкрементний підхід. Сік Джеремі
Компілятори традиційно вважаються однією з найважчих для розуміння і вивчення тем. Зазвичай у книгах кожен розділ присвячено окремому проходу компілятора. Але така структура не дає змоги розкрити, як мовні засоби впливають на рішення, ухвалювані під ..
800.00 грн.
Спортивне програмування. Стівен Халім, Фелікс Халім
Ця книга обов'язкова до прочитання для кожного програміста, який бере участь або готується до участі в змаганнях з програмування. Вона стане в нагоді і тим, хто просто любить вирішувати завдання з інформатики та програмування. Вивчення матеріалу книг..
740.00 грн.
Pro Oracle Database 23c Administration: Manage and Safeguard Your Organization’s Data. 4th Edition
Master Oracle Database administration in both on-premises and cloud environments. This new edition covers the tasks you’ll need to perform to keep your databases stable, tuned, and running. The book also includes administrative tasks specific to clou..
1400.00 грн.
ASP.NET Core в дії. Лок Е.
Створюйте повнофункціональні веб-додатки, які працюють де завгодно. Розробники люблять ASP.NET Core за його бібліотеки і готові компоненти, що підвищують продуктивність. Версія 5.0 пропонує нові функції для серверних додатків, а також фонові служби ..
1150.00 грн.