Výsledky vyhľadávania - Software/Program Verification—Programming by con- tract General Terms Languages*

Space-Efficient Manifest Contracts

Autori: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf.

Predmety: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory, D.2.4 [Software Engi- neering, Software/Program Verification—Programming by con- tract General Terms Languages, Theory

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573; http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573
http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Principles of Systems Design

Autori: Jean-François Raskin Krishnendu Chatterjee Laurent Doyen a ďalší

Typ zdroja: eBook.

Predmet: Computer science, Machine theory, Artificial intelligence, Software engineering

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General

Springer Handbook of Model-Based Science

Autori: Lorenzo Magnani Tommaso Bertolotti

Typ zdroja: eBook.

Predmet: Science--Simulation methods

Kategórie: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Logic, PSYCHOLOGY / Cognitive Psychology & Cognition, SCIENCE / Physics / General, SCIENCE / Philosophy & Social Aspects, TECHNOLOGY & ENGINEERING / Engineering (General)

Assessing Listening and Spoken Language in Children with Hearing Loss

Autori: Bradham, Tamala S. Houston, K. Todd

Typ zdroja: eBook.

Predmet: Auditory perception, Children, Auditory perception--Testing, Language acquisition

Kategórie: MEDICAL / Surgery / General

Foundations of Computational Linguistics : Human-Computer Communication in Natural Language

Autori: Roland Hausser

Typ zdroja: eBook.

Predmet: Computational linguistics, Computerlinguistik

Kategórie: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI), LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Clinical Audiology: An Introduction, Third Edition

Autori: Brad A. Stach Virginia Ramachandran

Typ zdroja: eBook.

Predmet: Hearing disorders, Audiology, Hearing disorders--Treatment

Kategórie: MEDICAL / Audiology & Speech Pathology

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autori: Gale Research Inc

Typ zdroja: eBook.

Kategórie: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

Developing Management Skills, Global Edition

Autori: David A. Whetten Kim S. Cameron

Typ zdroja: eBook.

Predmet: Management--Study and teaching, Management--Problems, exercises, etc

Kategórie: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Industrial Management

Computer Aided Design in Control and Engineering Systems : Advanced Tools for Modern Technology

Autori: P. Martin Larsen N. E. Hansen

Typ zdroja: eBook.

Predmet: Computer-aided design--Congresses, Automatic control--Data processing--Congresses

Kategórie: COMPUTERS / Business & Productivity Software / Business Intelligence, COMPUTERS / Design, Graphics & Media / Graphics Tools

Digital Planet: Tomorrow's Technology and You : Pearson New International Edition

Autori: George Beekman Ben Beekman

Typ zdroja: eBook.

Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Social Aspects

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autori: Kalte, Pamela M. Nemeh, Katherine H.

Typ zdroja: eBook.

Predmet: Scientists--Canada--Directories, Scientists--Canada--Biography, Scientists--United States--Directories, Science, Scientists--United States--Biography

Kategórie: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology