Treffer
1 - 2
von
2
für Suche '
Zoppi, Edgardo
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Zoppi, Edgardo
Treffer
1 - 2
von
2
für Suche '
Zoppi, Edgardo
'
, Suchdauer: 0,46s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
On Verifying Resource Contracts using Code Contracts
von
Castaño, Rodrigo
,
Galeotti, Juan Pablo
,
Garbervetsky, Diego
,
Tapicer, Jonathan
,
Zoppi, Edgardo
Veröffentlicht in
Electronic proceedings in theoretical computer science
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
On Verifying Resource Contracts using Code Contracts
von
Castaño, Rodrigo
,
Juan Pablo Galeotti
,
Garbervetsky, Diego
,
Tapicer, Jonathan
,
Zoppi, Edgardo
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Online Resources
2 Treffer
2
Format
Articles
2 Treffer
2
Zeitschriftentitel
Arxiv.org
1 Treffer
1
Electronic Proceedings In Theoretical Computer Science
1 Treffer
1
Electronic Proceedings In Theoretical Computer Science, Eptcs
1 Treffer
1
Schlagworte
Annotations
1 Treffer
1
Computer Science
1 Treffer
1
Computer Science - Programming Languages
1 Treffer
1
Computer Science - Software Engineering
1 Treffer
1
Computer Science, Theory & Methods
1 Treffer
1
Consumption
1 Treffer
1
Contracts
1 Treffer
1
Science & Technology
1 Treffer
1
Specification And Description Languages
1 Treffer
1
Technology
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Proquest Central (Alumni)
1 Treffer
1
Proquest Central Uk/Ireland
1 Treffer
1
Proquest Central Essentials
1 Treffer
1
Proquest Central
1 Treffer
1
Proquest One Community College
1 Treffer
1
Proquest Central Korea
1 Treffer
1
Open Access: Freely Accessible Journals By Multiple Vendors
1 Treffer
1
Arxiv.org
1 Treffer
1
Doaj Directory Of Open Access Journals
1 Treffer
1
Elektronische Zeitschriftenbibliothek (Open Access)
1 Treffer
1