Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Troy Astarte"'
Autor:
Troy Astarte
Publikováno v:
British Journal for the History of Mathematics. 35:89-91
What do the Grand Vizier Sissa Ben Dahir’s grains of rice on a chessboard, the ‘bible per square inch’ unit of measurement, and Mozart-loving aliens all have in common? They’re all illustrative ana...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3db0e6c42cc6a17550223b837801f0a7
https://doi.org/10.1080/26375451.2019.1681827
https://doi.org/10.1080/26375451.2019.1681827
Autor:
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following work
Autor:
Jones, Cliff B.1 (AUTHOR) cliff.jones@ncl.ac.uk
Publikováno v:
Minds & Machines. 2024 Suppl 1, Vol. 34, p73-92. 20p.
Publikováno v:
BSHM Bulletin: Journal of the British Society for the History of Mathematics. May2018, Vol. 33 Issue 2, p144-146. 3p.
Autor:
Falconer, Isobel
Publikováno v:
British Journal for the History of Mathematics. Jan2020, Vol. 35 Issue 1, p94-104. 11p.
Autor:
Astarte, Troy
Publikováno v:
British Journal for the History of Mathematics. Jan2020, Vol. 35 Issue 1, p89-91. 3p.
Autor:
Troy K. Astarte
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
FM Workshops (2)
The History of Formal Methods 2019 workshop ended with a discussion reflecting on the discipline of formal methods. An initial prompting question, “What have formal methods ever done for us?”, was presented, but the discussion evolved from there
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d57ea32c2ee61aa75bb622b8f17bdd7b
https://doi.org/10.1007/978-3-030-54997-8_7
https://doi.org/10.1007/978-3-030-54997-8_7
Autor:
Ana Cavalcanti, James Baxter
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career
Autor:
Simon Foster, Augusto Sampaio
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry