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 €.

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga FM 2015: Formal Methods Nikolaj Bj?rner
Libristo kod: 09277583
Nakladnici Springer International Publishing AG, svibanj 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Cijeli opis
? points 125 b
51.70 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 30.25 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Knjiga Meki uvez
common.buy 47.35 €
JACK LONDON KOZA / Knjiga Tvrdi uvez
common.buy 21.24 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Knjiga Meki uvez
common.buy 31.67 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Knjiga Meki uvez
common.buy 51.90 €
Italie - 50 itinéraires de rêve collegium / Knjiga Meki uvez
common.buy 32.88 €
1972 Dr Gustav Keller / Knjiga Meki uvez
common.buy 7.88 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Knjiga Tvrdi uvez
common.buy 13.55 €
Die drei ??? und der schreiende Zug Andreas Ruch / Knjiga Tvrdi uvez
common.buy 13.55 €
Aquí yace la amargura Cynthia Fleury / E-knjiga Adobe ePub DRM
common.buy 6.26 €
Čti a hraj si s námi Ledové království / Knjiga Leporelo
common.buy 17.09 €

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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 FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 610
EAN 9783319192482
ISBN 3319192485
Libristo kod 09277583
Nakladnici Springer International Publishing AG
Težina 9358
Dimenzije 155 x 235 x 235

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic 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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Knjiga Meki uvez
common.buy 55.85 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Knjiga Meki uvez
common.buy 27.41 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Knjiga Tvrdi uvez
common.buy 144.10 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Knjiga Meki uvez
common.buy 14.26 €
Once Upon A Rhyme Julie Murrow / Knjiga Meki uvez
common.buy 5.86 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Knjiga Meki uvez
common.buy 19.22 €
Philosophy of Law Kant Immanuel Kant / Knjiga Meki uvez
common.buy 23.27 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Knjiga Meki uvez
common.buy 12.84 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Knjiga Tvrdi uvez
common.buy 53.42 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Knjiga Meki uvez
common.buy 16.59 €
Technology in Retrospect Michael J. Berson / Knjiga Meki uvez
common.buy 62.02 €
Fallows Aaron Ross / Knjiga Tvrdi uvez
common.buy 28.22 €
Pip and Posy: The Bedtime Frog Axel Scheffler / Knjiga Tvrdi uvez
common.buy 10.82 €
Total Heart Health Robert Schneider / Knjiga Meki uvez
common.buy 14.97 €
Hegel Reader Stephen Houlgate / Knjiga Tvrdi uvez
common.buy 151.28 €
Writer's Roadmap Wendell Wellman / Knjiga Meki uvez
common.buy 14.36 €
Happily Ever After Annette Morris / Knjiga Meki uvez
common.buy 12.03 €
Silent Scream Sandra A Jones / Knjiga Meki uvez
common.buy 21.24 €
Little Joseph H Easley / Knjiga Tvrdi uvez
common.buy 24.28 €

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?