Narrow your search

Library

UCLouvain (4)

ULB (4)

KU Leuven (3)

ULiège (3)

UAntwerpen (2)

AMSAB (1)

KBR (1)

LUCA School of Arts (1)

UGent (1)

UMons (1)

More...

Resource type

book (7)


Language

English (6)

French (1)


Year
From To Submit

2002 (7)

Listing 1 - 7 of 7
Sort by
Software requirements: styles and techniques
Author:
ISBN: 0201745704 9780201745702 Year: 2002 Publisher: London Addison-Wesley

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Specifying software : a hands-on introduction
Author:
ISBN: 1139164902 Year: 2002 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.


Book
Inventing the 20th century : 100 inventions that shaped the world.
Authors: ---
ISBN: 071230889X Year: 2002 Publisher: London British library

Thomas Eakins : the Absolute Male.
Author:
ISBN: 0471443654 Year: 2002 Publisher: New York Universe


Book
Conduire un projet de numérisation
Authors: ---
ISSN: 12594857 ISBN: 291022743X 2743005513 9782910227432 Year: 2002 Volume: 13 Publisher: Villeurbanne : Paris : ENSSIB, École nationale supérieure des sciences de l'information et des bibliothèques Éd. Tec & Doc,

Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Authors: --- ---
ISSN: 03029743 ISBN: 3540433767 9783540433767 3540459499 Year: 2002 Volume: 2283 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel’s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the ?y, but hardly anybody does that. Wenzel’s dedicated syntax is elegant, replacing for example eight simpli?cation tactics with a single method, namely simp, with associated - tions. The book has three parts. – The ?rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. – The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL’s treatment of sets, functions, and relations and explains how to de?ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages.

Keywords

Computer logic --- Automatic theorem proving --- Computer Science --- Engineering & Applied Sciences --- 681.3*D21 --- 681.3*D31 --- 681.3*F31 --- 681.3*F41 --- 681.3*I23 --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Computer science logic --- Logic, Symbolic and mathematical --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Computer logic. --- Automatic theorem proving. --- Computer science. --- Logic. --- Programming languages (Electronic computers). --- Computers. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Informatics --- Methodology --- Information theory. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication

Mcdonaldization : the reader.
Author:
ISBN: 0761987673 9780761987673 Year: 2002 Publisher: Thousand Oaks (Calif.) Pine forge

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

National consumption --- Sociology of culture --- United States --- Civilization, Modern --- Standardization --- Civilisation --- Normalisation --- Social aspects --- Aspect social --- Etats-Unis --- Social conditions --- Conditions sociales --- 316.3:316.7 --- 316.32 --- -Standardization --- -#SBIB:041.AANKOOP --- #SBIB:REFCOLL2003 --- #SBIB:309H040 --- #SBIB:316.7C140 --- Industrial engineering --- Grading --- Mass production --- Specifications --- Testing --- Modern civilization --- Modernity --- Civilization --- Renaissance --- Dialectiek tussen sociale structuur en sociale cultuur --- Globale samenlevingsvormen --- -Populaire cultuur algemeen --- Cultuursociologie: cultuur en globale samenlevingen --- History --- -Civilization, Modern --- -316.3:316.7 --- 316.32 Globale samenlevingsvormen --- 316.3:316.7 Dialectiek tussen sociale structuur en sociale cultuur --- -National consumption --- U.S.A. --- Jungtinės Amerikos valstybės --- Soedinennye Shtaty Si︠e︡vernoĭ Ameriki --- Soedinennye Shtaty Severnoĭ Ameriki --- Si︠e︡vero-Amerikanskīe Soedinennye Shtaty --- Severo-Amerikanskie Soedinennye Shtaty --- Zlucheni Derz︠h︡avy --- USA --- US --- Arhab --- Ar. ha-B. --- Artsot ha-Berit --- ولايات المتحدة الامريكية --- Wilāyāt al-Muttaḥidah al-Amirīkīyah --- ABSh --- Amerika Birlăshmish Shtatlary --- ABŞ --- Amerika Birlăşmi Ştatları --- Forente stater --- Spojené staty americké --- Severo-Amerikanskie Shtaty --- Sjedinjene Američke Države --- Zʹi︠e︡dnani Derz︠h︡avy Ameryky --- Amerikai Egyesült Államok --- Yhdysvallat --- Verenigde Staten --- Egyesült Államok --- Hiwsisayin Amerikayi Miatsʻeal Tērutʻiwnkʻ --- Estados Unidos de América --- United States of America --- Fareyniḳṭe Shṭaṭn --- Artzois Ha'bris --- Estados Unidos da América do Norte --- SShA --- Soedinennye Shtaty Ameriki --- VSA --- États-Unis d'Amérique --- Vereinigte Staaten von Amerika --- Stati Uniti d'America --- Estados Unidos --- EE.UU. --- Stany Zjednoczone --- ĒPA --- Amerika Qūrama Shtattary --- Amerika Qŭshma Shtatlari --- SAD --- Saharat ʻAmērikā --- Hēnomenai Politeiai Amerikēs --- ZSA --- Mei-kuo --- Meiguo --- Mei guo --- ZDA --- Združene države Amerike --- U.S. --- America (Republic) --- Amirika Carékat --- Verenigde State van Amerika --- VS --- ولايات المتحدة --- Wilāyāt al-Muttaḥidah --- ولايات المتّحدة الأمريكيّة --- Wilāyāt al-Muttaḥidah al-Amrīkīyah --- Estatos Unitos --- Estatos Unitos d'America --- Ètats-Unis d'Amèrica --- Estaos Xuníos d'América --- Estaos Xuníos --- Tetã peteĩ reko Amérikagua --- Istadus Unidus --- Amerika Birlăşmiş Ştatları --- Amerika ka Kelenyalen Jamanaw --- Bí-kok --- Amerika Qushma Shtattary --- AQSh --- Злучаныя Штаты Амерыкі --- Zluchanyi︠a︡ Shtaty Ameryki --- Yunaeted Stet blong Amerika --- Yunaeted Stet --- Vaeinigte Staatn --- Vaeinigte Staatn vo Amerika --- Stadoù-Unanet Amerika --- Sŭedineni amerikanski shtati --- САЩ --- SASht --- Съединените щати --- Sŭedinenite shtati --- Америка (Republic) --- Amerika (Republic) --- Estats Units d'Amèrica --- Америкӑри Пӗрлешӳллӗ Штатсем --- Amerikări Pĕrleshu̇llĕ Shtatsem --- Stati Uniti --- SUA (Stati Uniti d'America) --- Unol Daleithiau America --- Unol Daleithiau --- Amerikas Forenede Stater --- Vereinigte Staaten --- Wááshindoon Bikéyah Ałhidadiidzooígíí --- Zjadnośone staty Ameriki --- Ameerika Ühendriigid --- Ηνωμένες Πολιτείες της Αμερικής --- Hēnōmenes Politeies tēs Amerikēs --- Η.Π.Α. --- Ē.P.A. --- Usono --- Unuiĝintaj Ŝtatoj de Ameriko --- Американь Вейтьсэндявкс Штаттнэ --- Amerikanʹ Veĭtʹsėndi︠a︡vks Shtattnė --- Ameriketako Estatu Batuak --- Feriene Steaten --- Feriene Steaten fan Amearika --- FS --- Stâts Unîts di Americhe --- Stâts Unîts --- Stáit Aontaithe Mheiriceá --- Steatyn Unnaneysit America --- Steatyn Unnaneysit --- S.U.A. --- Na Stàitean Aonaichte --- NSA --- Mî-koet --- 미국 --- Miguk --- Amerikayi Miatsʻyal Nahangner --- Miatsʻyal Nahangner --- #SBIB:041.AANKOOP --- Populaire cultuur algemeen --- États-Unis --- Spojené obce severoamerické --- Американь Вейтьсэндявкс Штаттнэ --- É.-U. --- ÉU --- Civilization, Modern - 1950 --- -Standardization - Social aspects - United States --- United States - Social conditions - 1980

Listing 1 - 7 of 7
Sort by