wyszukanych pozycji: 3
The Correctness-by-Construction Approach to Programming
ISBN: 9783642448546 / Angielski / Miękka / 2014 / 266 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions. Kourie and Watson advocate an approach known as "correctness-by-construction," a technique to derive algorithms that relies on formal theory, but that requires such theory... The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches ... |
|
cena:
386,41 zł |
Coping with Continuous Change in the Business Environment: Knowledge Management and Knowledge Management Technology
ISBN: 9781843343554 / Angielski / Miękka / 2008 / 272 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Aimed at knowledge management professionals and students in the field of knowledge management, information science, information systems and software engineering, the book provides answers to the 'what-is' and 'why-is' questions with regard to knowledge management. It investigates the concepts and elements, the drivers, and challenges involved in knowledge management. In the second part of the book the 'how' and 'with-what' characteristics of knowledge management are covered. Although knowledge management is primarily concerned with non-technical issues, this book concentrates on the technical...
Aimed at knowledge management professionals and students in the field of knowledge management, information science, information systems and software e...
|
|
cena:
217,48 zł |
The Correctness-by-Construction Approach to Programming
ISBN: 9783642279188 / Angielski / Twarda / 2012 / 266 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions. Kourie and Watson advocate an approach known as "correctness-by-construction," a technique to derive algorithms that relies on formal theory, but that requires such theory to be...
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches tha...
|
|
cena:
386,41 zł |