SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74"
 

Sökning: onr:"swepub:oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74" > The KeY Tool

  • Hähnle, Reiner,1962Chalmers tekniska högskola,Chalmers University of Technology (författare)

The KeY Tool

  • Artikel/kapitelEngelska2005

Förlag, utgivningsår, omfång ...

  • 2005

Nummerbeteckningar

  • LIBRIS-ID:oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74
  • https://research.chalmers.se/publication/5987URI

Kompletterande språkuppgifter

  • Språk:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:art swepub-publicationtype
  • Ämneskategori:ref swepub-contenttype

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)ahrendt (författare)
  • Baar, Thomas (författare)
  • Beckert, Bernhard (författare)
  • Bubel, Richard (författare)
  • Giese, Martin,1970Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)giese (författare)
  • Menzel, Wolfram (författare)
  • Mostowski, Wojciech,1976Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)woj (författare)
  • Roth, Andreas (författare)
  • Schlager, Steffen (författare)
  • Schmitt, Peter (författare)
  • Chalmers tekniska högskola (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:Software and Systems Modeling4:1, s. 32-541619-13741619-1366

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy