[PDF] software specification free ebooks download




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

Library Search


 Fiction Pdf Search   Sci-hubs

44 books found   ►also search"software specification" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
595426 Heinz Zemanek (auth.), Dines Bjøorner (eds.) Lecture Notes in Computer Science 86
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings [1 ed.]
3540100075, 9783540100072
Springer-Verlag Berlin Heidelberg 1980 572 English 5 Mb djvu GET
962353 Heinz Zemanek (auth.), Dines Bjøorner (eds.) Lecture Notes in Computer Science 86
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings [1 ed.]
978-3-540-10007-2, 978-3-540-38136-5
Springer-Verlag Berlin Heidelberg 1980 572 English 11 Mb pdf GET
963354 Ivo Van Horebeek, Johan Lewi (auth.) Algebraic Specifications in Software Engineering: An Introduction [1 ed.]
978-3-642-75032-8, 978-3-642-75030-4
Springer-Verlag Berlin Heidelberg 1989 350 English 24 Mb pdf GET
2131027 Raymond T. Yeh, K. Mani Chandy, Donald E. Knuth, Edsger W. Dijkstra Current trends in programming methodology, vol.1: Software specification and design
0-13-195701-5, 9780131957015
Prentice Hall 1977 275 English 3 Mb djvu GET
980488 Oliver Skroch (auth.) Developing Business Application Systems: On the Specification and Selection of Software Components and Services [1 ed.]
978-3-8349-2350-9, 978-3-8349-8858-4
Gabler Verlag 2010 117 English 6 Mb pdf GET
1208347 Bjorner D.; Jones C.B. Prentice Hall International Series in Computer Science
Formal specification and software development
Prentice Hall 1982 482 English 6 Mb djvu GET
1414684 Frank G. Pagan Prentice-Hall software series
Formal specification of programming languages: a panoramic primer
0-13-329052-2, 9780133290523, 15-1972-728-3
Prentice Hall 1981 256 English 2 Mb djvu GET
964910 Yang Meng Tan (auth.) The Springer International Series in Software Engineering 1
Formal Specification Techniques for Engineering Modular C Programs [1 ed.]
978-1-4613-6850-2, 978-1-4615-4125-7
Springer US 1996 213 English 4 Mb pdf GET
824323 Donald Sannella, Andrzej Tarlecki Monographs in Theoretical Computer Science. An EATCS Series
Foundations of Algebraic Specification and Formal Software Development
3642173357, 9783642173356
Springer 2012 598 English 3 Mb pdf GET
207913 IEEE 830-1998 Recommended Practice for Software Requirements Specifications
073814472X
Institute of Electrical & Electronics Enginee 38 English 463 kb pdf GET
220654 Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.) Lecture Notes in Computer Science 3147
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report [1 ed.]
3540231358, 9783540231356, 9783540278634
Springer-Verlag Berlin Heidelberg 2004 630 English 7 Mb djvu GET
349557 Peter Wright, Mark Blythe, John McCarthy (auth.), Stephen W. Gilroy, Michael D. Harrison (eds.) Lecture Notes in Computer Science 3941 : Programming and Software Engineering
Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers [1 ed.]
3540341455, 9783540341451
Springer-Verlag Berlin Heidelberg 2006 276 English 7 Mb pdf GET
185349 Jan Gulliksen (auth.), Gavin Doherty, Ann Blandford (eds.) Lecture Notes in Computer Science 4323 : Programming and Software Engineering
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers [1 ed.]
3540695532, 9783540695530
Springer-Verlag Berlin Heidelberg 2007 276 English 6 Mb pdf GET
218971 Jan Gulliksen (auth.), Gavin Doherty, Ann Blandford (eds.) Lecture Notes in Computer Science 4323 : Programming and Software Engineering
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers [1 ed.]
9783540695530, 3540695532
Springer-Verlag Berlin Heidelberg 2007 276 English 6 Mb pdf GET
349558 Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.) Lecture Notes in Computer Science 5136 : Programming and Software Engineering
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers [1 ed.]
3540705686, 9783540705680
Springer-Verlag Berlin Heidelberg 2008 314 English 11 Mb pdf GET
1091501 Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.) Lecture Notes in Computer Science 5136 Programming and Software Engineering
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers [1 ed.]
978-3-540-70568-0, 978-3-540-70569-7
Springer-Verlag Berlin Heidelberg 2008 314 English 22 Mb pdf GET
595728 J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.) Lecture Notes in Computer Science 215
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985 [1 ed.]
3540164448, 9783540164449
Springer-Verlag Berlin Heidelberg 1986 249 English 3 Mb djvu GET
1027654 David Lo; et al Chapman & Hall/CRC data mining and knowledge discovery series
Mining software specifications : methodologies and applications
9781439806265, 1439806268
CRC Press 2011 xvi, 442 p.. ; 25 cm English 11 Mb pdf GET
1307201 Axel van Lamsweerde Requirements Engineering: From System Goals to UML Models to Software Specifications [1 ed.]
0470012706, 9780470012703
Wiley 2009 712 English 66 Mb pdf GET
965388 Martin Große-Rhode Monographs in Theoretical Computer Science. An EATCS Series
Semantic Integration of Heterogeneous Software Specifications
978-3-642-07306-9, 978-3-662-09853-0
Springer 2004 332 English 12 Mb pdf GET
320434 Dines Bjørner Texts in Theoretical Computer Science. An EATCS Series
Software Engineering 2: Specification of Systems and Languages
3540211500, 9783540211501
Springer 2006 783 English 8 Mb djvu GET
830165 Dines Bjørner Texts in Theoretical Computer Science. An EATCS Series
Software Engineering 2: Specification of Systems and Languages
3540211500, 9783540211501
Springer 2006 802 English 40 Mb pdf GET
1129313 Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.) Advances in Formal Methods 2
Software Engineering with OBJ: Algebraic Specification in Action [1 ed.]
978-1-4419-4965-3, 978-1-4757-6541-0, 0-7923-8684-1
Springer US 2000 410 English 10 Mb pdf GET
1170186 Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.) Advances in Formal Methods 2
Software engineering with OBJ: algebraic specification in action [1 ed.]
9781441949653
Springer US 2000 410 English 3 Mb djvu GET
2115480 Suad Alagi Software Engineering. Specification, Implementation, Verification Springer 2017 0 English 3 Mb pdf GET
  ►

If no results, Please search software specification here Again

Random Recommend
 Овчинников В.В.
Кардашов Владислав
Челнокова В. (сост.)
Wolfgang Miertsch
Афанасьева В.Н., Бабошина О.А., Батыгина Н.Б., Вахитов М.А., Вяткин А.Б.
Бирич И.А. (сост.)
Нефедов С.А.
Peter Goodwin
Макаров А.Д. и др.
Корнетов Г.Б., Богуславский М.В. (сост.)
David White
Antonio Lascurain Olivier
Говорушко С.М.
Бенуа Софья
Тихомирова В.А.
Ingela Skärsäter
Самодай В.Г., Стариков А.О.
Wenjian Liu (ed.)
Heinz J. Nowarra
Frank Petruzella
Когитин В.
Бенуа С.
Eva Björkman; Karin Karlsson
Jagdish Mehra, Helmut Rechenberg
Алексеев Е.Р., Чеснокова О.В.
Чечель И.Д.
Семотюк О.П.
Попов И.П.
Jagdish Mehra, Helmut Rechenberg
Al Ross
Акимушкин И.
Editors
Солкин В.В.
Adrian Sassoon and John Walsh

Elisabeth Dahlborg Lyckhage
Леонтьев А.А. (сост.)
Ф.Г. Дильтей
Jagdish Mehra, Helmut Rechenberg
Johan Hulting; Inger Gretzer Qvick; Ulf Ludwigs; Stefan Sjöberg
Шталь, А.В.
Richard N.J. Wright
Агбунов М.В.
Jagdish Mehra, Helmut Rechenberg
José Osvaldo de Meira Penna
Christina Forsberg, Yvonne Wengström
Jagdish Mehra, Helmut Rechenberg
H. T. Lenton
Jagdish Mehra, Helmut Rechenberg
Finnur Magnússon
 Field Cady
Ичбиа Дэниэл, Кнеппер Сьюзен
Штильмарк Роберт Александрович
Ильичева С. (ред.)
Clella Jaffe
Найт К., Ломас Р.
Куинн Дэвис, Кэти
Иванова С.
Блейн Ли
Найт К., Ломас Р.
Альбертини Э., Умбер А.
Норлинг Эрнест
Савинова Н., Жук К., Юрышева Я., Братушева А.
Полян Павел
Грейгь О.
Грейгь О.
Журавлев Д.Н.
Коллинз Э., Огилви-Геральд К.

Кутовая И.
Савинова Н.В.
Хэнкок Г.
Коллинз Э.
Н.А. Морозов
Коллинз Э.
Abraham Eraly
Пикнет Л., Принс К.
Timur Dadabaev, Hisao Komatsu (ed.)
Селезнев Александр
Иванова С.
Блауберг И.И. (отв. ред.)
Вадим Кирпиченко
Кузьмищев Владимир
Н. Андреев
Радченко В. Г.
Пикнетт Л.
Пикнетт Л.
Линн Виола
Георгий Корниенко
Афанасьева, Л. И.
Шабалин В
Барбер Р.
Ю.В. Андреев
Пол Э. Бэндхейм
Юдин С.С.
Стив Харви
Ларина О.В.
Мари Форлео
Александр Дюма
Клэй Блэр.

managementheat pipememorybond energiessensorshinduismsignaling pathwayin vitrointernal wavesshear modulusgeneschiralityhuman genomeattribution theorycoppersocial interactionneural networksprotein transporttransition elementsfrequencyenergy efficiencykineticsvoronoi diagramlod scoreworking animalsgeometric opticsagroforestryion beamradioactive waste disposalconvergent thinkingtreatmentgeophysicsdigital imageshumanidadesdirac operatorkiorganic carbonregulationuniverseclassificationinternal transcribed spacerdeveloping countriescomparative analysissoil typespowderslife skillsprincipal component analysispattern matchingneurobiologyscattering