Abstraction, Refinement and Proof for Probabilistic Systems

Комп’ютери та технології Програмування Мови програмування Розробка та проектування програмного забезпечення Computers, Information Technology Computers, Programming, General Computers, Programming Languages, General Computers, Software Development & Engineering, General Mathematics, Discrete Mathematics Mathematics, Logic Mathematics, Probability & Statistics, General

Комп’ютери та технології

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .

Presents results of a large and integrated body of research in the area of ‘quantitative’ program logics.

11 Comments

  1. Книга очень понравилась, проходим сейчас в школе єту повесть)

  2. Этот роман стал для меня одним из любимых произведений.

  3. До конца прочесть не смог, устал от ненависти и злобы автора. Все время в голове вертится бессмертная фраза Станиславского “НЕВЕРЮ” А И. Буничу на это совершенно плевать, главное выплеснуть всю свою ненависть и желчь. Прекрасно чувствуется, что из одного вонючего болотца черпали свои псевдоматериалы В. Суворов(Резун) и псевдоБунич. В интернете не смог найтини одного фото этого “историка” фантаста с мистическим уклоном. Чего только стоят его бредни о том, что в ссылке Сталин научился у сибирских шаманов подпитываться темной энергией Неба. Или пасссаж о “доверчивом романтике Гитлере”. Считаю, что свои 30 серебренников как и Суворов он не отработал. Еще раз “Не верю” в этот бред, состоящий из яда, желчи и ненависти Фолк- историк не должен лгать.

  4. Книга интересная, сюжет не скучный, можно почитать и не один раз.

  5. Очень крутая книга.
    На меня даже парень обиделся, сказал, что приходит не к девушке, а в библиотеку. Очень жаль, что книг всего 2.
    Кащей бесподобен. Прям мужчина мечты:D.

  6. Достаточно аннотации, чтобы понять, что автор не имеет понятия о ситуации в Беларуси. Какие заговорщики в стране с самым большим количеством спецслужб? Поменяйте, пожалуйста, жанр книги на "Иронические детективы".

  7. Прочитала книгу Галина, слезы на глазах от восхищения и гордости за настоящего человека! Пример для всех нас людей, оставшихся в этой жизни, вот так надо жить!!!

  8. Мне очень нравиться эта книга. Я прочитала ее раза три. И в 11 классе написала про нее сочинение. Естественно на 5.

  9. Что бы там не говорили, Суворов – молодец. Насогласие с его некоторыми выводами с лихвой компенсируется уважением к авторскому анализу. Он может заставить думать читателя, а не бездумно листать страницы.

Comments are closed.