1 resultado para Elam, Samuel--Correspondence
em Greenwich Academic Literature Archive - UK
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (3)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- Aquatic Commons (1)
- Biblioteca Digital da Câmara dos Deputados (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Bibloteca do Senado Federal do Brasil (4)
- Biodiversity Heritage Library, United States (12)
- Blue Tiger Commons - Lincoln University - USA (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (52)
- Boston University Digital Common (3)
- Brock University, Canada (126)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (8)
- CentAUR: Central Archive University of Reading - UK (45)
- Center for Jewish History Digital Collections (40)
- Chapman University Digital Commons - CA - USA (7)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (2)
- Cochin University of Science & Technology (CUSAT), India (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (5)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Dalarna University College Electronic Archive (1)
- Deakin Research Online - Australia (23)
- Digital Archives@Colby (5)
- Digital Commons @ Winthrop University (2)
- Digital Repository at Iowa State University (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (154)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (13)
- Greenwich Academic Literature Archive - UK (1)
- Harvard University (295)
- Helda - Digital Repository of University of Helsinki (2)
- Indian Institute of Science - Bangalore - Índia (6)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Massachusetts Institute of Technology (2)
- Memoria Académica - FaHCE, UNLP - Argentina (17)
- Ministerio de Cultura, Spain (3)
- National Center for Biotechnology Information - NCBI (3)
- Publishing Network for Geoscientific & Environmental Data (9)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (35)
- Queensland University of Technology - ePrints Archive (20)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (15)
- School of Medicine, Washington University, United States (16)
- South Carolina State Documents Depository (7)
- Universidad Autónoma de Nuevo León, Mexico (5)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (1)
- Universidade Complutense de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Montréal, Canada (5)
- University of Connecticut - USA (1)
- University of Michigan (22)
- University of Southampton, United Kingdom (1)
Resumo:
The phrase “not much mathematics required” can imply a variety of skill levels. When this phrase is applied to computer scientists, software engineers, and clients in the area of formal specification, the word “much” can be widely misinterpreted with disastrous consequences. A small experiment in reading specifications revealed that students already trained in discrete mathematics and the specification notation performed very poorly; much worse than could reasonably be expected if formal methods proponents are to be believed.