807 Ergebnisse für: specification
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ... - Google Books
http://books.google.de/books?id=11zwnn9_p3MC
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint…
-
-
-
Tubular Structures XII: Proceedings of Tubular Structures XII, Shanghai ... - Google Books
https://books.google.de/books?id=ICHJ2D2UdwQC&pg&pg=PA44#v=onepage
Presentation of the latest scientific and engineering developments in the field of tubular steel structures. Covers key and emerging subjects of hollow structural sections, such as: static and fatigue behaviour of connections/joints, concrete filled hollow…
-
Shared Information & Data Model | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/wiki/Shared_Information_&_Data_Model
Das Shared Information & Data Model (SID) ist ein Framework für die Telekommunikationsindustrie. Verschiedene große Telekommunikationsunternehmen, die Mitglieder der Organisation TeleManagement Forum sind, unterstützen über diesen Zusammenschluss die…
-
Shared Information & Data Model | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/index.php?title=Shared_Information_%26_Data_Model
Das Shared Information & Data Model (SID) ist ein Framework für die Telekommunikationsindustrie. Verschiedene große Telekommunikationsunternehmen, die Mitglieder der Organisation TeleManagement Forum sind, unterstützen über diesen Zusammenschluss die…
-
javahelp: JavaHelp
https://web.archive.org/web/20070611104001/https://javahelp.dev.java.net/
Keine Beschreibung vorhanden.
-
The VFiasco Project
http://os.inf.tu-dresden.de/vfiasco/
The VFiasco project: Towards a verified operating-system kernel. Overview, status, news
-
Insertion.co.de - Ihr Insertion Shop
http://www.insertion.co.de
Insertion socio-professionnelle pour jeunes déscolarisés au Burkina, New Fragile and Non Blind Watermarking Insertion Model using MATLAB als Buch von Priyanka Sharma, Bürkert Insertion Fitting für Durchflussmessungen Typ 8020 und Typ 8045 S020, The book…
-
Concurrent.co.de - Ihr Concurrent Shop
http://www.concurrent.co.de
The Temporal Logic of Reactive and Concurrent Systems als Buch von Zohar Manna, Amir Pnueli, Learning Concurrent Programming in Scala - Second Edition als eBook Download von Aleksandar Prokopec, Parallel and Concurrent Programming in Haskell als eBook…