Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
solving programming » solving programmed, modeling programming, using programming
programming java » programming jay, programming janet, programming graph
program python » program path, program paths, program potong
python solving » method solving, python voting, than solving
https* » http*
1
Buchumschlag
von Shankar, A. Udaya., Shankar, A. Udaya.
Veröffentlicht 2013
Inhaltsangabe: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern