Kategorien
Handverlesen
Alice Munro
Paul Auster
Über Mütter
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (3 Treffer)
Filter schließen (3 Treffer)
Stichwort auswählen
Alle Stichworte
Componentreuse (3)
Analysistools (2)
Bformallanguage (2)
Certification (2)
Component-Basedsoftware (2)
Compositionality (2)
Consistencychecking (2)
Evolutionrules (2)
Formalmethods (2)
Formalmodels (2)
Formalsemantics (2)
Modelingapproaches (2)
Modelsofcomputation (2)
Programanalysis (2)
Quantitativeverification (2)
Softwareadaptation (2)
Timedautomata (2)
Transformation (2)
Componentverification (1)
Featuremodeling (1)
Generators (1)
Model-Drivendevelopment (1)
Modeling (1)
Programmingpatterns (1)
Softwarepatterns (1)
Structuredanalysis (1)
Verification (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Compiler und Übersetzer (2)
IT-Management (1)
Wirtschaftsmathematik und -Informatik (1)
Sprache auswählen
Sprachen
Englisch (3)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (3)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Foundations of Software Science and Computation Structures
18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Springer Berlin Heidelberg
2015
Taschenbuch
484 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 201…
eng
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Springer International Publishing
2015
Taschenbuch
396 Seiten
53,49
€
in Kürze
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro,…
eng
Formal Foundations of Reuse and Domain Engineering
11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Springer Berlin Heidelberg
2009
Taschenbuch
312 Seiten
53,49
€
in Kürze
ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within …