Kód: 01562449

FM 2006: Formal Methods

Name: FM 2006: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562449
Price: 109.48 EUR
Availability: InStock
Author: Jayadev Misra
ISBN: 9783540372158

Autor Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 620
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
Viac informácií o knihe

109.48 €

Skladom u dodávateľa v malom množstve
Odosielame za 13 - 18 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

DARLING in the FRANXX Vol. 5-6
14.78 € -25 %
Kúpiť
Convoluted Universe: Book One
14.88 € -24 %
Kúpiť
Three Cheers for Kid McGear!
11.94 € -25 %
Kúpiť
Moonology Manifestation Oracle
15.99 € -31 %
Kúpiť
Coloriages mystères Fleurs
21.06 €
Kúpiť
Rooftops of Tehran
12.04 € -25 %
Kúpiť
Arms and Armour of the Medieval Joust
13.06 € -9 %
Kúpiť
Madoka Mágica Different, 1
9 €
Kúpiť
Filmmaker Says
28.96 €
Kúpiť
Spiritual Dimension
33.62 €
Kúpiť
Grundzüge der Volkswirtschaftslehre
47.29 € -6 %
Kúpiť
Think "Moderates!"
16.20 € -17 %
Kúpiť
Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo
14.37 € -6 %
Kúpiť
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces
7.89 € -25 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe FM 2006: Formal Methods

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 265 bodov

Anotácia knihy

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development

109.48 €

Celý názov: FM 2006: Formal Methods
Podnázov: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Autor: Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 620
EAN: 9783540372158
ISBN: 3540372156
ID: 01562449
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 958 g
Rozmery: 235 × 155 × 33 mm
Dátum vydania: 10. August 2006