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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Jing Sun
Libristo kod: 20235109
Nakladnici Springer Nature Switzerland AG, listopad 2018
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engine... Cijeli opis
? points 135 b
55.93 €
Vanjske zalihe u manjem broju Šaljemo za 11-15 dana

Do 30 dana za povrat

Kupci su kupili i

sfida Patrick Süskind / Knjiga Tvrdi uvez
common.buy 15.39 €

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

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 and Software Engineering
Autor Jing Sun, Meng Sun
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2018
Broj stranica 474
EAN 9783030024499
Libristo kod 20235109
Nakladnici Springer Nature Switzerland AG
Težina 753
Dimenzije 155 x 235 x 27

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

Republic lato / Knjiga Meki uvez
common.buy 31.20 €
Early Christian Thought in its Jewish Context John M. G. BarclayJohn Philip McMurdo Sweet / Knjiga Meki uvez
common.buy 57.15 €
Stars Richard Dyer / Knjiga Meki uvez
common.buy 49.35 €
The Invisible Organization: How Ingenious CEOs are Creating Thriving, Virtual Companies Mitch Russo / Knjiga Meki uvez
common.buy 19.35 €
History Of Whitingham: From Its Organization To The Present Time (1886) Leonard Brown / Knjiga Tvrdi uvez
common.buy 42.15 €
T. LIVII Patavini Historiarum Libri Qui Supersunt Omnes Et Deperditorum Fragmenta: Libri 7 - 23, Volume 2 Titus Livius / Knjiga Meki uvez
common.buy 26.95 €

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?