[PDF] formal specifications free ebooks download




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

Library Search


 Fiction Pdf Search   Sci-hubs

2 books found also search"formal specifications" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
910763 J G Turner; T L McCluskey McGraw-Hill international series in software engineering
The construction of formal specifications : an introduction to the model-based and algebraic approaches
0077077350, 9780077077358
McGraw-Hill 1993 472 English 2 Mb djvu GET
113080 J. G. Turner, T. L. McCluskey The Mcgraw-Hill International Series in
The construction of formal specifications: an introduction to the model-based and algebraic approaches
9780077077358, 0077077350
Mcgraw Hill Book Co Ltd 1993 472 English 2 Mb pdf GET

If no results, Please search formal specifications here Again

Random Recommend
 Лихачев Д.С., Панченко А.М.
Лобков Е. Г.
Лозинская Л.
Лундквист Э.
Лункевич Валериан Викторович
Лурье Я.
Лэд Скрэнтон
М. Ф. Кузин, Н. И. Егоров
Маймин Е.
Меметов В.
Мизун Ю. В., Мизун Ю. Г.
Мишель Фуко
Морозов В.П.
Мотяшов В.П.
Мхитарян А.М.
Мякишев Г. Я.
Н.А.Коновалов и др.
Н.В. Колобков
Несмеянов А.Н., Беликов В.М.
Нечаева А.
Николаев Н.И.
Николай Верзилин
О. Б. Лепешинская
Овчинников Р.
Олиферов А.Н., Гольдин Б.М.
Опарин А.И.
Отв. ред. Г. М. Лаппо
Ответственный редактор академик Ю.В. Бромлей. Составитель доктор исторических наук Д.Д. Тумаркин
Парнес В.
Перельман Я. И.
Перельман Я.И.
Перельман Я.И.
Перля З.Н.
Петров Ю.П.
Плетнева С.
Полякова Е.
Посысаев Б.И.
Пухначев Ю. В. и Попов Ю. П.
Пухначев Ю. В. и Попов Ю. П.
Пушкарев Л.
Ред. Е. Б. Этингоф
Ричмонд У.К.
Розанов Б.Г.
Ромм А.
С. Лем 1968
С. Н. Чирков
Сабанеев Д.А.
Савицкий Ю.
Серебрянный Л., Орлов А.
Серикова Г.А.
 Старовойтова І.Ю.
Бардакова Ю.Є.
Задорожний К.М.
Доценко І.В.
Michel Musolino
Pierre Hecker
Євчук О.В.
В. Эллиот Д. Эллиот


Julian Young
Гальперіна А.Р.
Гальперіна А.Р.
Гальперіна А.Р.
Мясоєдова С.В.
Павліченко О.М.


Кондратюк Н.В.
Голобородько Є.П.
Бабенко С.П.
Brian Priestley
Єрмоленко А.О.
Paul-Gerhard Schwesig
Бізбіз Т.О.
Кагітіна Н.А., Мокрогуз О.П.
Markus Witte, Konrad Schmid, Doris Prechel, Jan Christian Gertz
Гурвиц Адольф
Riccardo Chiaradonna, Franco Trabattoni
Valentina Calzolari, Jonathan Barnes
Allan Berele, Jerry Goldman

Hull J.C.
Maskari K.M.
Joseph Fell
Calvin Schrag
W. Borho, J-L. Brylinski, R. MacPherson (auth.)
Christopher Clark
Birger Schäfermeier
Stephen J. Lee
Sean Manning
Thomas Wesley Pentz, Shane McCauley, Alexander Wang
Костриба О.В., Лещук Р.І.
Задорожний К.М.
Паращич В.В.
Чупринін О.О.
Ващенко О.П., Головатюк С.М.
Ronald Rapee PhD, Ann Wignall D Psych, Susan Spence PhD, Heidi Lyneham PhD, Vanessa Cobham PhD
Ващенко О.П., Головатюк С.М.
Омельчук С.А., Ляшкевич А.І.

innovationsresearch methodologypredictive modelscomputer aided software engineeringanthropologystatistical significancequaternarycinemabiomedical researchgravity anomalylensesrc networkcoding theorydecision making processthyroid glandpsychologynatural environmentinterventionsh3 domainmembrane potentialsmechanical engineeringstatic var compensatorcolinjury preventionlacenergy gapt matrixheliumtransfer matrixhyperspectral imagingweatherglobal changesocial studiesfracture toughnesscomputingnursing educationftirbarkunsupervised learningbehaviorbiomechanicsinclusion bodiesdistributioninfrared radiationbirth ratemolecular mechanicssalinityfeedback loop