Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
23 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

23 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Tools and algorithms for the construction and analysis of systems: 12th international conference ; proceedings
    TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Software specification and design: a disciplined approach for real time systems
    Marilyn Keller ; Ken Shumate
    New York [u.a.]: Wiley, 1992
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Formal methods and software engineering: proceedings
    4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002. Chris George ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    The unified computation laboratory: modelling, specifications, and tools ; based on the proceedings of a Conference on the Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990
    ed. by Charles Rattray ..
    Oxford [u.a.]: Clarendon Press, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Program derivation: the development of programs from specifications
    Geoff Dromey
    Sydney [u.a.]: Addison-Wesley, 1989
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Software engineering and middleware: third international workshop ; revised papers
    SEM 2002, Orlando, FL, USA, May 20 - 21, 2002. Alberto Coen-Porisini ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    ZB 2002: formal specification and development in Z and B: proceedings
    2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Formal methods and software engineering: proceedings
    6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004. Jim Davies ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Tools and algorithms for the construction and analysis of systems: 10th international conference ; proceedings
    TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Tools and algorithms for the construction and analysis of systems: 11th international conference ; proceedings
    TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Nicolas Halbwachs ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  11. Detailansicht für Treffer 11 öffnen
    Formal specification and software development
    Dines Bjørner ..
    Englewood Cliff, NJ [u.a.]: Prentice-Hall Internat, 1982
    Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Software engineering and middleware: 4th international workshop ; revised selected papers
    SEM 2004, Linz, Austria, September 20 - 21, 2004. Thomas Gschwind ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Program development by refinement: case studies using the B method
    E. Sekerinski ... (eds)
    London [u.a.]: Springer, 1999
    Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Integration of software specification techniques for applications in engineering: priority program SoftSpez of the German Research Foundation (DFG), final report
    Hartmut Ehrig ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Formal methods and software engineering: proceedings
    7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005. Kung-Kiu Lau ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Recent advances in the development and use of the B method: proceedings
    B'98, Second International B Conference, Montpellier, France, April 22 - 24, 1998. Didier Bert (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Formal specification and development in Z and B: proceedings
    ZB 2003, Third International Conference of B and Z Users, Turku, Finland, June 4 - 6, 2003. Didier Bert ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Interactive systems design, specification, and verification: 7th international workshop ; revised papers
    DSV-IS 2000, Limerick, Ireland, June 5 - 6, 2000. Philippe Palanque ... (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Volltext für Abonnenten der Serie (aus dem Hochschulnetz der betr. Univ.); für alle anderen Inhaltsverzeichnis und Abstracts
  19. Detailansicht für Treffer 19 öffnen
    Formal specification and development in Z and B: proceedings
    ZB 2005, 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005. Helen Treharne ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Formal methods and software engineering: proceedings
    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -