vérification logiciel
Resource Information
The concept vérification logiciel represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
vérification logiciel
Resource Information
The concept vérification logiciel represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- vérification logiciel
29 Items that share the Concept vérification logiciel
Context
Context of vérification logicielSubject of
- A survey of verification techniques for parallel programs
- Abstraction and specification in program development
- Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings
- Designing and programming modern computers and systems
- FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
- Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings
- Formal specification of interactive graphics programming languages
- Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers
- Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers
- KORSO : methods, languages, and tools for the construction of correct software : final report
- Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
- Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
- Modular specification and verification of object-oriented programs
- On the shape of mathematical arguments
- Predicate transformer semantics
- Proceedings : Second Workshop on Software Testing, Verification, and Analysis, 19-21 July 1988, Banff, Canada
- Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
- Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
- Program correctness over abstract data types, with error-state semantics
- Programming language theory and its implementation : applicative and imperative paradigms
- Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings
- Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
- Smart card programming and security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September19-21, 2001 : proceedings
- Software engineering concepts
- Software quality engineering : a total technical and management approach
- The foundations of program verification
- Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings
- Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare
- Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/4KfjctMMbF0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/4KfjctMMbF0/">vérification logiciel</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept vérification logiciel
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/4KfjctMMbF0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/4KfjctMMbF0/">vérification logiciel</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
