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 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 125 b
51.16 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Design Patterns mit Java Olaf Musch / Knjiga Meki uvez
common.buy 46.76 €
Un approccio filologico all'inglese Mohammed Guamguami / Knjiga Meki uvez
common.buy 31.84 €
Diktaturen in Europa im 20. Jahrhundert - der Fall DDR. Heiner Timmermann / Knjiga Meki uvez
common.buy 139.09 €
sfida Patrick Süskind / Knjiga Tvrdi uvez
common.buy 15.02 €
Angkor, une dernière fois (roman) Youri / Knjiga Meki uvez
common.buy 24.94 €
Le chateau de Verneuil Adolphe Poujol / Knjiga Tvrdi uvez
common.buy 30.93 €
HOBBES : VIES D UN PHILOSOPHE Terrel Knjiga Meki uvez
common.buy 22.83 €
Les serpents font-ils caca ? Navarro / Knjiga Knjiga
common.buy 11.71 €
Povoljno
Covid-19: El Gran Reinicio Klaus Schwab / Knjiga Meki uvez
common.buy 8.20 €
Le Capitaine Curebourse: Histoire Du Temps de Charles IX Ponson Du Terrail / Knjiga Meki uvez
common.buy 34.15 €
Burgen in Schleswig-Holstein Oliver Auge / Knjiga Tvrdi uvez
common.buy 28.73 €
Projet d'Un Chemin de Fer de Paris A Strasbourg Par Les Vallees de l'Oise & de l'Aisne. Creil, Nancy "" / Knjiga Meki uvez
common.buy 14.41 €
Subjektive Reichweite Internationaler Schiedsvereinbarungen Und Ihre Erstreckung in Der Unternehmensgruppe Jan-Michael Ahrens / Knjiga Tvrdi uvez
common.buy 85.91 €
Anatomía del Yoga LESLIE KAMINOFF / Knjiga Meki uvez
common.buy 35.14 €
Behandlung Des Eigentumsvorbehaltes Nach Der Insolvenzrechtsreform Unter Besonderer Beruecksichtigung Der Eg-Verordnung Ueber Insolvenzverfahren Natascha Kupka / Knjiga Meki uvez
common.buy 84.61 €

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 16.01 €
T. LIVII Patavini Historiarum Libri Qui Supersunt Omnes Et Deperditorum Fragmenta: Libri 7 - 23, Volume 2 Titus Livius / Knjiga Meki uvez
common.buy 26.64 €
History Of Whitingham: From Its Organization To The Present Time (1886) Leonard Brown / Knjiga Tvrdi uvez
common.buy 41.67 €
Microbial Biofilms Dharumadurai Dhanasekaran / Knjiga Tvrdi uvez
common.buy 154.01 €
Devil's Charter Barnabe Barnes / Knjiga Tvrdi uvez
common.buy 36.96 €
Pierre Koenig - A View from the Archive Neil Jackson / Knjiga Tvrdi uvez
common.buy 58.27 €
The Invisible Organization: How Ingenious CEOs are Creating Thriving, Virtual Companies Mitch Russo / Knjiga Meki uvez
common.buy 19.13 €
Aesthetic Vaginal Plastic Surgery: A Practical Guide Lina Triana / Knjiga Meki uvez
common.buy 56.97 €
Curious George's Train (Mini Movers Shaped Board Books) H A Rey / Knjiga Leporelo
common.buy 10.10 €
Bible Cure for Candida and Yeast Infections Don Colbert / Knjiga Meki uvez
common.buy 7.60 €
Poetics on Edge: The Poetry and Prose of Sylvia Plath Silvianne Blosser / Knjiga Meki uvez
common.buy 105.34 €
Liffey Archive Bob Harley / Knjiga Meki uvez
common.buy 17.01 €
Early Christian Thought in its Jewish Context John M. G. BarclayJohn Philip McMurdo Sweet / Knjiga Meki uvez
common.buy 56.47 €
Ultrastructure of Human Gametogenesis and Early Embryogenesis Jonathan van Blerkom / Knjiga Meki uvez
common.buy 152.81 €
Embellished Bras Dawn Devine / Knjiga Meki uvez
common.buy 21.73 €
Wealth Management in the New Economy - Investor Strategies for Growing Protecting and Transferring Wealth Norbert M Mindel / Knjiga Tvrdi uvez
common.buy 33.84 €
Complete Guide to Slowpitch Softball Rainer Martens / Knjiga Meki uvez
common.buy 22.62 €
Man in the Iron Mask Alexandre Dumas / Knjiga Meki uvez
common.buy 5.30 €
Stars Richard Dyer / Knjiga Meki uvez
common.buy 45.56 €
Fury in the Shadow Gil Howard / Knjiga Meki uvez
common.buy 15.41 €
Breaking of the Dawn David A. Liapis / Knjiga Tvrdi uvez
common.buy 28.13 €
Not Bobby - A Play N J Warburton / Knjiga Meki uvez
common.buy 15.01 €

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?