wyszukanych pozycji: 2
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
ISBN: 9783540236115 / Angielski / Miękka / 2004 / 252 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Professional engineers can often be distinguished from other designers by the engineers ability to use mathematical models to describe and 1 analyze their products. This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway s words aspire to be engineers. The rare exceptions are certain critical applications, where...
Professional engineers can often be distinguished from other designers by the engineers ability to use mathematical models to describe and 1 analyze t...
|
|
cena:
194,08 zł |
Turing Tales
ISBN: 9789491386060 / Angielski / Miękka / 2016 / 266 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between their favorite mathematical concepts and the representations thereof in the real world. This leads to mistakes. Daylight introduces seemingly small but useful distinctions. As a result, technical corrections are put forth in connection with formal verification, computer viruses, and program transformation systems. Even mathematics isn't free from conceptual flaws. Raymond Boute scrutinizes several unsound treatments of the... Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between th... |
|
cena:
121,13 zł |