Sökning: onr:1g2rrnm9zz8h86pj > Formal Methods for ...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Formal Methods for Components and Objects [Elektronisk resurs]
- Bernhard Beckert (författare)
- Ferruccio Damiani (författare)
- Frank S. de Boer (författare)
- Marcello M. Bonsangue (författare)
- 1
- Publicerad: Springer, 2013
- Odefinierat språk.
- E-bok
Ämnesord
Inställningar
Hjälp
Stäng
Ämnesord
- COMPUTERS / Information Technology
- COMPUTERS / Languages / General
- COMPUTERS / Operating Systems / General
- COMPUTERS / Programming / General
- COMPUTERS / Software Development & Engineering / General
- Engineering
- Engineering (General). Civil engineering (General)
- Engineering and Technology
- Mathematics
- Science
- Technology
Genre
- Electronic books
Uppgift om bibliotek saknas i LIBRIS
Kontakta ditt bibliotek, eller sök utanför LIBRIS. Se högermenyn.
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Bernhard Beckert
- Ferruccio Damiani
- Frank S. de Boer
- Marcello M. Bonsangu ...
- Fler titlar om
- COMPUTERS / Informat ...
- COMPUTERS / Language ...
- COMPUTERS / Operatin ...
- COMPUTERS / Programm ...
- COMPUTERS / Software ...
- Engineering
- visa fler...
- Engineering (General ...
- Engineering and Tech ...
- Mathematics
- Science
- Technology
- visa färre...
- Fler titlar i denna genre
- Electronic books
- Formal Methods for C ...
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
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.
Copyright © LIBRIS - Nationella bibliotekssystem
