phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Formal Methods and Software Engineering

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Shaoying Liu
Libristo kod: 01570773
Nakladnici Springer, Berlin, studeni 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Cijeli opis
? points 154 b
60.72 €
Vanjske zalihe u manjem broju Šaljemo za 12-15 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Grenzen, Nähe, Respekt Jesper Juul / Meki uvez
common.buy 11.86 €
Microelectronics Education Ton J. Mouthaan / Tvrdi uvez
common.buy 109.79 €
Orienting Polymers J.-L. Ericksen / Meki uvez
common.buy 44.67 €
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Meki uvez
common.buy 73.89 €
Programmieren Lernen Peter Pepper / Meki uvez
common.buy 55.44 €
Richterrecht und Verfassung. Jörn Ipsen / Meki uvez
common.buy 62.52 €
NUMIFORM 2010 Frederic Barlat / Meki uvez
common.buy 482.65 €
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Meki uvez
common.buy 184.18 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Informacije o knjizi

Puni naziv Formal Methods and Software Engineering
Autor Shaoying Liu, Tom Maibaum, Keijiro Araki
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2008
Broj stranica 397
EAN 9783540881933
ISBN 354088193X
Libristo kod 01570773
Nakladnici Springer, Berlin
Težina 635
Dimenzije 155 x 235 x 21

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
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

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