Wyniki wyszukiwania:
wyszukanych pozycji: 27
 |
Formal Methods: State of the Art and New Directions
ISBN: 9781447157458 / Angielski / Miękka / 2014 / 273 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa...
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on ...
|
cena:
404,42 |
 |
Provably Correct Systems
ISBN: 9783319486277 / Angielski / Twarda / 2017 / 328 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within... As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ens... |
cena:
404,42 |
 |
The Arts and Computational Culture: Real and Virtual Worlds
ISBN: 9783031538643 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
930,22 |
 |
High-Integrity System Specification and Design
ISBN: 9783540762263 / Angielski / Miękka / 1999 / 701 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Errata, detected in Taylor's Logarithms. London: 4to, 1792. sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4 18'3," read cos. 14 18'2." - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4 18'3," read cos. 14 18' 3." - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such...
Errata, detected in Taylor's Logarithms. London: 4to, 1792. sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA de...
|
cena:
202,19 |
 |
Formal Methods: State of the Art and New Directions
ISBN: 9781848827356 / Angielski / Twarda / 2009 / 273 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa...
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on ...
|
cena:
404,42 |
 |
Provably Correct Systems
ISBN: 9783319839806 / Angielski / Miękka / 2018 / 328 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
404,42 |
 |
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
ISBN: 9789819646555 / Angielski / Miękka / 2025 / 155 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on -Preparatory Course: Introduction to Mathematical Logic and Logic of Programming; -Introduction to Digital Twins -Theories of Contracts and Their Applications -From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to...
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held...
|
cena:
202,19 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
