Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
4 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

4 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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
  2. Detailansicht für Treffer 2 öffnen
    Formal specification and software development
    Dines Bjørner ..
    Englewood Cliff, NJ [u.a.]: Prentice-Hall Internat, 1982
    Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 ö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
  4. Detailansicht für Treffer 4 öffnen
    Program derivation: the development of programs from specifications
    Geoff Dromey
    Sydney [u.a.]: Addison-Wesley, 1989
    Monographie, Gedruckte Ressource

Artikel & mehr

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