[PDF] specification language free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


77 books found   ►also search"specification language" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
340616 1850-2010 IEEE Standard for Property Specification Language (PSL)
978-0-7381-6255-3
IEEE 2010 182 English 2 Mb pdf GET
95491 Sannella D. 8 specification languages 36 English 283 kb pdf GET
56429 Sorin Alexander Huss Advances in Design and Specification Languages for Embedded Systems
1402061471, 978-1-4020-6147-9
2007 352 English 7 Mb pdf GET
552597 Sorin A. Huss (Editor) Advances in Design and Specification Languages for Embedded Systems [1 ed.]
1402061471, 9781402061479, 9781402061493
2007 368 English 5 Mb pdf GET
1148597 Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese (auth.), Sorin A. Huss (eds.) Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06 [1 ed.]
978-1-4020-6147-9, 978-1-4020-6149-3
Springer Netherlands 2007 358 English 8 Mb pdf GET
643526 Pierre Boulet (Editor) Advances in Design and Specification Languages for SoCs [1 ed.]
0387261494, 9780387261492, 9780387261515
Springer 2005 299 English 3 Mb pdf GET
1127318 Alain Vachoux (auth.), Pierre Boulet (eds.) Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04 [1 ed.]
978-0-387-26149-2, 978-0-387-26151-5, 0-387-26149-4, 0-387-26151-6
Springer US 2005 305 English 3 Mb pdf GET
943193 Frédéric Mallet, Charles André, Robert de Simone (auth.), Dominique Borrione (eds.) Lecture Notes in Electrical Engineering 63
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 [1 ed.]
978-90-481-9303-5, 978-90-481-9304-2
Springer Netherlands 2010 248 English 8 Mb pdf GET
1102078 A. Vachoux Chdl
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 [2006 ed.]
1402049978, 9781402049972
Springer 2006 312 English 5 Mb pdf GET
826219 A. Vachoux Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 (Chdl) [1 ed.]
1402049978, 9781402049972
Springer 2006 312 English 5 Mb pdf GET
78853 C Sharp Language Specification ECMA-334 [4 ed.] 2006 553 English 2 Mb pdf GET
212353 C# Language Specification 548 English 2 Mb pdf GET
179031 C- LANGUAGE SPECIFICATION 379 English 2 Mb doc GET
872116 Răzvan Diaconescu; Kokichi Futatsugi AMAST series in computing, vol. 6
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
9810235135, 9789810235130
World Scientific 1998 196 English 1 Mb djvu GET
112190 Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.) Lecture Notes in Computer Science 2960
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language [1 ed.]
3540213015, 9783540213017
Springer-Verlag Berlin Heidelberg 2004 534 English 4 Mb pdf GET
340869 Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.) Lecture Notes in Computer Science 2960
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language [1 ed.]
3540213015, 9783540213017
Springer-Verlag Berlin Heidelberg 2004 534 English 3 Mb pdf GET
110149 Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.) Lecture Notes in Computer Science 2900
CASL User Manual: Introduction to Using the Common Algebraic Specification Language [1 ed.]
9783540207665, 354020766X
Springer-Verlag Berlin Heidelberg 2004 246 English 8 Mb pdf GET
399575 Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.) Lecture Notes in Computer Science 2900
CASL User Manual: Introduction to Using the Common Algebraic Specification Language [1 ed.]
354020766X, 9783540207665
Springer-Verlag Berlin Heidelberg 2004 246 German 4 Mb pdf GET
291644 Wm Leler Addison-Wesley series in computer science
Constraint Programming Languages: Their Specification and Generation
9780201062434, 0201062437
Addison-Wesley 1987 210 English 1 Mb djvu GET
604744 Wm Leler Addison-Wesley Series in Computer Science
Constraint Programming Languages: Their Specification and Generation
0201062437, 9780201062434
Addison-Wesley 1987 210 English 2 Mb pdf GET
739472 The Dart Team Dart Programming Language Specification [Draft Version 0.01 ed.] 78 English 421 kb pdf GET
943376 Abdoulaye Gamatie (auth.) Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification [1 ed.]
978-1-4419-0940-4, 978-1-4419-0941-1
Springer-Verlag New York 2010 259 English 5 Mb pdf GET
1122162 Abdoulaye Gamatie (auth.) Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification [1 ed.]
978-1-4419-0940-4, 978-1-4419-0941-1
Springer-Verlag New York 2010 259 English 2 Mb pdf GET
273104 Abdoulaye Gamatie (auth.) Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification [1 ed.]
1441909400, 9781441909404
Springer-Verlag New York 2010 259 English 3 Mb pdf GET
890867 ECMA-372 Standard - C++-CLI Language Specification, First Edition ECMA 2005 304 English 2 Mb pdf GET
  ►
 Мартенс Л.К. (гл. ред.)
Хирд Г. (H.G.Heard)
Александр Драгункин
Banach M.
Joan Bagaria, Stevo Todorcevic
Бочвар Д.А., Гришин В.Н. (ред.)
Фейс.
Langlands R.P.
A. N Khovanskiĭ
Хинчин А.Я.
P. R. Halmos
Люстерник Л.А., Соболев В.И.
C. A. Rogers
Клейн Ф.
Dusa McDuff, Dietmar Salamon
Alfio Quarteroni, Riccardo Sacco, Fausto Saleri (auth.)
L. F. Shampine, Rebecca Chan Allen, S. Pruess
Березин И.С., Жидков Н.П.
Икрамов Х.Д.
Vinay K. Ingle, John G. Proakis

protein bindingestimationarchaeologynegative feedbackmaskspectrumagingsocial behaviorclusteringmedicine