что почитать в качестве более-менее мягкого введения новичка в формальные методы без привязки к ЯП? математический background у меня есть.
что почитать в качестве более-менее мягкого введения новичка в формальные методы без привязки к ЯП? математический background у меня есть.