Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Język AngielskiAngielski
Książka Twarda
Książka Formal Methods for Software Engineering Markus Roggenbach
Kod Libristo: 25351972
Wydawnictwo Springer Nature Switzerland AG, czerwiec 2022
This is a graduate-level introduction to formal methods. The first part presents two formal language... Cały opis
? points 110 b
194.73 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Książka Miękka
common.buy 78.64 zł
Pâtisserie simplement naturelle Benoît Castel / Książka Twarda
common.buy 132.89 zł
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Książka Twarda
common.buy 47.36 zł
Si Jamais Sauzet / Książka Miękka
common.buy 78.64 zł
Koszulka na dokumenty A4 100 sztuk krystaliczna / Artykuły papiernicze Artykuły papiernicze
common.buy 10.62 zł
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Książka Miękka
common.buy 8.69 zł
Pozvání k překladatelské praxi Veronika Havlíková / Książka Miękka
common.buy 35.31 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods for Software Engineering
Autor Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Język Angielski
Oprawa Książka - Twarda
Data wydania 2022
Liczba stron 524
EAN 9783030387990
Kod Libristo 25351972
Wydawnictwo Springer Nature Switzerland AG
Waga 986
Wymiary 155 x 235 x 36

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

TOP
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Książka Miękka
common.buy 44.12 zł
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Książka Miękka
common.buy 258.60 zł
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Książka Miękka
common.buy 135.12 zł
Our First Fun Day at Preschool! Victoria Trotman Smith / Książka Miękka
common.buy 44.12 zł
Alfred Hitchcock. The Complete Films Paul Duncan / Książka Twarda
common.buy 151.41 zł
Dime Show Review, Volume 2, Issue 2 Kae Sable / Książka Miękka
common.buy 78.74 zł
Unbelievable? BRIERLEY JUSTIN / Książka Miękka
common.buy 51.71 zł
Going Up the River Joseph T. Hallinan / Książka Miękka
common.buy 69.93 zł
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Książka Miękka
common.buy 852.15 zł
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Książka Miękka
common.buy 69.63 zł
TOP
My Love Story!!, Vol. 2 Kazune Kawahara / Książka Miękka
common.buy 42.40 zł
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Książka Twarda
common.buy 1 181.82 zł
Walks and Rambles on Cape Cod and the Islands N. Friary / Książka Miękka
common.buy 69.93 zł
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Książka Miękka
common.buy 49.59 zł
Graph Theory Adrian Bondy / Książka Twarda
common.buy 237.25 zł
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Książka Miękka
common.buy 354.96 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?