skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Systematic software development using VDM.
Material Type:
Livre
Ajouter à Mon espace

Systematic software development using VDM.

Jones, Cliff B.

New York NY London Toronto : Prentice Hall, 1990

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

APPLYING FORMAL SPECIFICATION TO SOFTWARE DEVELOPMENT IN INDUSTRY.

New York : IEEE, 1985

Voir les exemplaires

3
Material Type:
Article
Ajouter à Mon espace

Specification pre-test estimator

Gouriéroux, Christian ; Trognon, Alain

Journal of Econometrics, 1984. vol. 25 (1-2), p. 15-27. DOI : http://dx.doi.org/10.1016/0304-4076(84)90033-2

1984

Accessible en ligne

4
Stepwise refinement of distributed systems. Models, formalisms, correctness : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Stepwise refinement of distributed systems. Models, formalisms, correctness : proceedings ..

REX Workshop Mook 1989. ; De Bakker, Jacobus ; De Roever, Willem-Paul ; Rozenberg, Grzegorz ; REX. ; Research and Education in Concurrent Systems.

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

5
Algebraic methods II : theory, tools and applications
Material Type:
Livre
Ajouter à Mon espace

Algebraic methods II : theory, tools and applications

Congrès Mierlo 1989. ; Bergstra, Jan A. ; Feijs, Loe M. G.

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

APPLICATIONS OF FORMAL METHODS : DEVELOPING VIRTUOSO SOFTWARE.(Special Issue)

New York : IEEE, 1990

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

MAQUETTAGE ET PROTOTYPAGE : OUTILS ET TECHNIQUES.(Special Issue)

Toulouse : Imprimerie du Sud, 1986

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

FUNKTIONALE MODELLIERUNG EINES POSTSYSTEMS.

S.L. : s.n., 1991

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

Scheduling hardware/software systems using symbolic techniques

New York : ACM, 1999

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

Specification and refinement of finite dataflow networks - a relational approach

Müchen : s.n., 1994

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

Event handling in ET++ : a case study in algebraic specification of object-oriented application framework

Munich DEU : Technische Universität München, 1995

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

Conjoining specifications

Abadi, Martín ; Lamport, Leslie (1924-....)

Palo Alto Ca : Digital research, 1993

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

An extended version of mini-statecharts

München DEU : Technische Universität München, 1996

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

Mini-statecharts : a lean version of statecharts

Nazareth, Dieter ; Regensburger, Franz ; Scholz, Peter

München DEU : Technische Universität München, 1996

Voir les exemplaires

15
Material Type:
Livre
Ajouter à Mon espace

A formal method for hardware/software co-design

München DEU : Technische Universität München, 1995

Voir les exemplaires

16
Specification case studies
Material Type:
Livre
Ajouter à Mon espace

Specification case studies

Hayes, Ian (1956-) ; Flinn, Bill

Englewood Cliffs, N.J. : Prentice-Hall International, 1987

Voir les exemplaires

17
Fundamentals of software engineering.
Material Type:
Livre
Ajouter à Mon espace

Fundamentals of software engineering.

Ghezzi, Carlo. ; Jazayeri, Mehdi. ; Mandrioli, Dino (1949-....)

London : Prentice-Hall International, 1991

Voir les exemplaires

18
VDM '90, VDM and Z - Formal methods in software development : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

VDM '90, VDM and Z - Formal methods in software development : proceedings ..

International Symposium of VDM Europe 003 Kiel 1990. ; Bjorner, Dines ; Hoare, Charles Antony Richard (1934-....) ; Langmaack, Hans

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

19
Baltic computer science : selected papers
Material Type:
Livre
Ajouter à Mon espace

Baltic computer science : selected papers

Barzdins, Janis ; Bjorner, Dines

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

20
Algebraic and logic programming : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Algebraic and logic programming : proceedings ..

Congrès 002 Nancy 1990. ; Kirchner, Hélène ; Wechler, Wolfgang (1940-1991)

Berlin New York NY London Paris : Springer, 1990

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (17)
  2. Archives  (1)
  3. Articles  (1 634)
  4. Articles de journaux  (4)
  5. Autres  (24)
  6. Livres  (221)
  7. Ressources textuelles  (9)
  8. Revues critiques  (15)
  9. Thèses  (27)
  10. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1979  (21)
  2. 1979 à 1987  (179)
  3. 1988 à 1996  (598)
  4. 1997 à 2006  (578)
  5. Après 2006  (585)
  6. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Derrick, John
  2. Logrippo, Luigi
  3. Abadi, Martín
  4. Ding, Haibo
  5. Strooper, Paul

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré