Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Език Английски езикАнглийски език
Книга С твърди корици
Книга Formal Methods for Software Engineering Markus Roggenbach
Код Либристо: 25351972
Издателство Springer Nature Switzerland AG, юни 2022
This is a graduate-level introduction to formal methods. The first part presents two formal language... Цялото описание
? points 122 b
50.26 €
98.30  лв
Външен склад Изпращаме след 10-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Книга С меки корици
common.buy 18.38 € 35.96 лв
Pâtisserie simplement naturelle Benoît Castel / Книга С твърди корици
common.buy 32.33 € 63.24 лв
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Книга С твърди корици
common.buy 11.77 € 23.03 лв
Si Jamais Sauzet / Книга С меки корици
common.buy 19.11 € 37.37 лв
Koszulka na dokumenty A4 100 sztuk krystaliczna / Канцеларски материали Канцеларски материали
common.buy 2.94 € 5.75 лв
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Книга С меки корици
common.buy 2.27 € 4.44 лв
Pozvání k překladatelské praxi Veronika Havlíková / Книга С меки корици
common.buy 8.72 € 17.06 лв

This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formal Methods for Software Engineering
Автор Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2022
Брой страници 524
Баркод 9783030387990
Код Либристо 25351972
Издателство Springer Nature Switzerland AG
Тегло 986
Размери 155 x 235 x 36

Категории

Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Top
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Книга С меки корици
common.buy 10.33 € 20.20 лв
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Книга С меки корици
common.buy 64.00 € 125.17 лв
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Книга С меки корици
common.buy 31.56 € 61.72 лв
Our First Fun Day at Preschool! Victoria Trotman Smith / Книга С меки корици
common.buy 10.33 € 20.20 лв
Alfred Hitchcock. The Complete Films Paul Duncan / Книга С твърди корици
common.buy 35.38 € 69.20 лв
Dime Show Review, Volume 2, Issue 2 Kae Sable / Книга С меки корици
common.buy 18.38 € 35.96 лв
Unbelievable? BRIERLEY JUSTIN / Книга С меки корици
common.buy 12.08 € 23.63 лв
Going Up the River Joseph T. Hallinan / Книга С меки корици
common.buy 16.32 € 31.92 лв
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Книга С меки корици
common.buy 199.08 € 389.37 лв
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Книга С меки корици
common.buy 16.27 € 31.82 лв
Top
My Love Story!!, Vol. 2 Kazune Kawahara / Книга С меки корици
common.buy 9.91 € 19.39 лв
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Книга С твърди корици
common.buy 289.28 € 565.77 лв
Walks and Rambles on Cape Cod and the Islands N. Friary / Книга С меки корици
common.buy 16.32 € 31.92 лв
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Книга С меки корици
common.buy 12.03 € 23.53 лв
Graph Theory Adrian Bondy / Книга С твърди корици
common.buy 58.47 € 114.36 лв
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Книга С меки корици
common.buy 82.90 € 162.15 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?