Posts Tagged With 'book'

Safer C. Developing Software for High-integrity and Safety-critical Systems

Written by Grigory Rechistov in Uncategorized on 27.01.2023. Tags: c, safer c, software quality, book, book review,

Book cover

Safer C: Developing software for high-integrity and safety-critical systems. Les Hatton. // McGraw-Hill Book Company, 1995. ISBN 007707640-0, 229 pages.

The book, despite being ~30 years old and talking about the first ISO C standard, is a goldmine when it comes to more timeless topics of quality and using programming languages …

Continue reading »


Книга «Теория вычислений для программистов»

Written by Grigory Rechistov in Uncategorized on 27.07.2015. Tags: book, computation, cs,

cover-understanding-computation

Первая книга, из которой мне хоть что-то стало понятно про теорию вычислений. Конечные автоматы, автоматы с магазинной памятью, машина Тьюринга, счисление Чёрча, эквивалентность и неэквивалетность этих машин, их детерминированные и не очень варианты. Всё с примерами, которые я наконец-то смог осилить. Хотя они все на Руби, который я не практикую …

Continue reading »



Copyright © 2024 Grigory Rechistov