Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
program solving » programs solving, program moving, program serving
program python » program path, program paths, program potong
python program » python programs, action program, python programming
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