Kitaptan
Dersin üç farklı kısmı için üç farklı soru kağıdı dağıtılıyor. Birisi bölüm başkanının anlattığı Alloy (bir sayfa dolusu soru) ile ilgili, diğeri Process Algebra (kağıdın ön ve arka yüzünde sorular var) ve üçüncüsü Çinli araştırmacının anlattığı Formal Verification (kağıdın ön ve arka yüzünde sorular var) kısmından sorular var.
...Eve dönerken üniversitenin üst tarafındaki küçük tepeciğe tırmanıyorum. Burası bir süredir kapılıydı, devam eden bir inşaat çalışması vardı. Oturmak için bank ve gölgelik yapmışlar....
Devamını okumak isteyenler, kitabı satın alabilirler.
Kitap sipariş sayfası.