Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Formal Methods for Software Engineering Markus Roggenbach
Libristo kod: 25351972
Nakladnici Springer Nature Switzerland AG, lipanj 2022
This is a graduate-level introduction to formal methods. The first part presents two formal language... Cijeli opis
? points 116 b
47.80 €
Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Kupci su kupili i

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Knjiga Meki uvez
common.buy 18.35 €
Pâtisserie simplement naturelle Benoît Castel / Knjiga Tvrdi uvez
common.buy 29.64 €
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Knjiga Tvrdi uvez
common.buy 10.98 €
Si Jamais Sauzet / Knjiga Meki uvez
common.buy 17.54 €
Koszulka na dokumenty A4 100 sztuk krystaliczna / Proizvodi od papira Proizvodi od papira
common.buy 2.61 €
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Knjiga Meki uvez
common.buy 2.01 €
Pozvání k překladatelské praxi Veronika Havlíková / Knjiga Meki uvez
common.buy 7.76 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods for Software Engineering
Autor Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2022
Broj stranica 524
EAN 9783030387990
Libristo kod 25351972
Nakladnici Springer Nature Switzerland AG
Težina 986
Dimenzije 155 x 235 x 36

Kategorija

Computing & Information Technology > Computer science
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Knjiga Meki uvez
common.buy 10.28 €
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Knjiga Meki uvez
common.buy 60.31 €
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Knjiga Meki uvez
common.buy 31.56 €
Our First Fun Day at Preschool! Victoria Trotman Smith / Knjiga Meki uvez
common.buy 10.28 €
Alfred Hitchcock. The Complete Films Paul Duncan / Knjiga Tvrdi uvez
common.buy 35.29 €
Dime Show Review, Volume 2, Issue 2 Kae Sable / Knjiga Meki uvez
common.buy 18.35 €
Unbelievable? BRIERLEY JUSTIN / Knjiga Meki uvez
common.buy 12.09 €
Going Up the River Joseph T. Hallinan / Knjiga Meki uvez
common.buy 16.33 €
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Knjiga Meki uvez
common.buy 198.80 €
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Knjiga Meki uvez
common.buy 16.23 €
Top
My Love Story!!, Vol. 2 Kazune Kawahara / Knjiga Meki uvez
common.buy 9.87 €
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Knjiga Tvrdi uvez
common.buy 262.54 €
Walks and Rambles on Cape Cod and the Islands N. Friary / Knjiga Meki uvez
common.buy 16.33 €
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Knjiga Meki uvez
common.buy 10.98 €
Graph Theory Adrian Bondy / Knjiga Tvrdi uvez
common.buy 55.36 €
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Knjiga Meki uvez
common.buy 82.80 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?