Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

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 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649327
Price: 51.69 EUR
Availability: InStock
Author: Michael Leuschel
ISBN: 9783642002540

7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Michael Leuschel

Heike Wehrheim

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01649327

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, veljača 2009

This book constitutes the refereed proceedings of the 7th International Conference on Integrated For... Cijeli opis

Libristo kod: 01649327

125 b

51.69 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Les plus beaux Haras de France Meniel

Tvrdi uvez

52.60 €

SPIRITUALS FOR ALL HEFT 2 RALF PETERSEN Knjiga

binding.

10.21 €

BEN (cast.) CARE SANTOS TORRES

Meki uvez

13.55 €

Notice Sur l'Ecole Imperiale Centrale Des Arts Et Manufactures Sans Auteur

Meki uvez

15.57 €

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.§The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.