Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569538
Price: 49.99 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783540766483

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Michael Butler

Michael G. Hinchey

Maria M. Larrondo-Petrie

Język

Angielski

Książka Miękka

Kod Libristo: 01569538

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2007

This book constitutes the refereed proceedings of the 9th International Conference on Formal Enginee... Cały opis

Kod Libristo: 01569538

122 b

Gwarancja
najlepszej
ceny ▸

49.99 € včetně DPH

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kočička Hamley a narozeninový dort Sandra J. Paul

Twarda

7.89 €

Analýza lásky Ali Hazelwood

Twarda

15.89 €

Pierwsza szopka Fulvia Degl’Innocenti

Twarda

3.59 €

Kleine Engel Daniel Kohlhaas

Adobe ePub DRM

13.79 €

Analyse de fragilité d'un bâtiment isolé de la base Husain Rangwala

Miękka

47.39 €

Acuario Horóscopo 2026 Alina Rubi

Miękka

22.99 €

Ladies and Gentlemen We Are Floating in Space Spiritualized Audio

Winyl Audio

22.79 €

MUSEO CERRALBO GUIA BREVE NE

Miękka

3.59 €

Mes premiers récits CE1-CE2 - Enseignement moral et civique Benoît Falaize

Miękka

8.49 €

Bébé Balthazar - Tout propre - Pédagogie Montessori 0/3 ans Marie-Hélène Place

Książka

8.19 €

Un détenu à Auschwitz Bosquet

Miękka

12.89 €

Ausgewahlte Gedichte Der Romischen Elegiker V1, Catullus, Und Ausgewahlte Lustpiele Des Publius Terentius (1855) Theodor Benfey

Miękka

29.29 €

Anthropozän - Klimawandel - Biodiversität Stascha Rohmer

Twarda

36.00 €

LA ESPAÑA DE ABEL AURORA NACARINO-BRABO

Miękka

16.89 €

Gerwod IV Salvatore Treccarichi

Twarda

29.99 €

Symbole der Sintflutgeschichte (Religion, 7. Klasse, Gesamtschule) Alina Willkomm

Miękka

17.95 €

Fados huérfanos

Miękka

17.19 €

Kognitive Entwicklung nach Jean Piaget Sina Klar

Miękka

15.95 €

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods and Software Engineering

Autor Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2007

Liczba stron 387

EAN 9783540766483

ISBN 3540766480

Kod Libristo 01569538

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 611

Wymiary 155 x 235 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

The World's Greatest Submarines David Frost

Twarda

18.59 €

Louisa Wharton. A story founded on facts: written by herself, in a series of letters to a friend. ... Louisa Wharton

Miękka

11.39 €

Tribes of the Northern Territories of the Gold Coast Madeline Manoukian

Twarda

170.29 €

New England Conservatory Course in Sight-singing: (Solfeggio) Samuel W. (Samuel Winkley) 184 Cole

Twarda

26.69 €

Fisherman Fred and the Fledglings Camille Garro

Twarda

22.99 €

English As She Is Spoke; Or A Jest In Sober Earnest James Millington

Twarda

29.09 €

Taxation of Land Values in Western Canada (1914) Archibald Stalker

Miękka

16.29 €

English Sanskrit Dictionary V2 Monier Williams

Miękka

32.29 €

练习本 Chinese Empty Exercise Book for Calligraphy, Empty Squares China Exercise Books

Miękka

7.49 €

Of Ice and Shadows Audrey Coulthurst

Twarda

11.49 €

Highland Fortitude Angela Polidoro

Miękka

13.59 €

Imperial Island James Frothingham Hunnewell

Miękka

27.99 €

Limericks Storybook: Lewd Tales Told in Limerick Meter and Rhyme Robert W Birch

Miękka

8.59 €

Report of the Committee Appointed to Examine Into the Rise, Progress, and Present State of the Society of Artists of the United States, Read April 15, George Murray

Miękka

9.59 €

Disney Tunes Hal Leonard Corp

Miękka

9.39 €

Tales from the New River - Cockney Sparrow Corner Tommy Kearney

Miękka

9.59 €

Philosophical Moments Eric Collins

Miękka

8.49 €

Content-Based Image and Video Retrieval Oge Marques

Twarda

136.09 €

Information Security Mike Burmester

Miękka

50.29 €

War Girls Adele Geras

Miękka

8.29 €

Evolutionary Pathways in Nature John C Avise

Miękka

74.99 €

Computer Graphics and Applications S. Y. Shin

Twarda

132.99 €

Laser Modeling Mark Steven Csele

Twarda

291.19 €

Multivariable Calculus Lawrence J. Corwin

Twarda

181.09 €

Najczęściej wyszukiwane

Categories

Authors

Publishers

Najczęściej wyszukiwane

Produkty

Categories

Authors

Publishers

Dostawa

Doradca ds. zakupów

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Klienci kupili także

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Mogłoby Cię także zainteresować

Najczęściej wyszukiwane

Categories

Authors

Publishers

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Klienci kupili także

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Mogłoby Cię także zainteresować

Nie masz konta? Zyskaj korzyści konta Libristo!