Rigorous Software Development. An Introduction to Program Verification
241 266 soʻm 390 231 soʻm
Краткие характеристики
- Автор на обложке
- José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto
- Год выпуска
- 2026
- Тип бумаги в книге
- Офсетная
- Тип обложки
- Мягкая обложка
- Тип книги
- Печать по требованию
Python Книга
Photoshop Лицензия
Python Для Начинающих
Книга Javascript
Чистый Код Роберт Мартин
Книги по Программированию C++
Kali Linux
Unreal Engine
Язык Программирования C# 9 и Платформа .Net 5
Искусство Программирования
Книга Java
Книга Алгоритмы
Книга Nodejs
Книга Язык Программирования C
Книги Data Science
Шифр Цезаря
Книга По Программированию
Kotlin Книги
Паттерны Проектирования
Excel Книга
Архитектура Роберт Мартин
Django в Примерах
Книга HTML и CSS. Разработка и дизайн веб-сайтов
Рефакторинг Фаулер
Книга Компьютер для Чайников
Nginx
Java Spring
Книга Кибербезопасность
Head First C#
С++ через Программирование
Byte Of Python
Программирование в С++
Таненбаум Эндрю
Python Pygame
Sql Книга