Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic pro...
Gespeichert in:
| Körperschaft: | International workshop on automated and algorithmic debugging :Linköping |
|---|---|
| Weitere Verfasser: | Fritzson, Peter A., 1952- (Verlagsleitung) |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
749 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automated and algorithmic debugging, first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993, proceedings, Peter A. Fritzson, ed, Berlin, Springer-Verlag, 1993, 1 vol. (viii, 367 p.), Lecture notes in computer science, 3-540-57417-4 • Automated and Algorithmic Debugging, Texte imprimé, 9783662169667 |
Ähnliche Einträge
- B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings (Livre numérique)
- Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings (Livre numérique)
-
Utilisations industrielles des techniques formelles : interprétation abstraite
(Livre papier)
Hermes science publ. : Lavoisier, 2011 -
Vérification de logiciels : techniques et outils du model-checking
(Livre papier)
Bérard, Béatrice, 19..-...., professeure en informatique, et al.
Vuibert, 1999 - Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings (Livre numérique)

