Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Algebraic Methodology and Software Technology

6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Algebraic Methodology and Software Technology Michael Johnson
Kod Libristo: 05274790
Wydawnictwo Springer, Berlin, listopad 1996
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Meth... Cały opis
? points 274 b
480.05 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

tg -jl- lds sentimental 60v 04/2010 Książka binding.
common.buy 2 006.85 zł
Die Monster Mädchen - Band 17 Okayado / Książka Miękka
common.buy 36.93 zł
Der Doktor und das liebe Vieh James Herriot / Książka Miękka
common.buy 53.79 zł
Guide Vert Alpes du Nord, Savoie Mont Blanc, Dauphiné / Książka Miękka
common.buy 87.21 zł
Das bleibt in der Familie Sandra Konrad / Książka Miękka
common.buy 53.79 zł
Apuntes Sobre la Jurisdicción Constitucional Electoral Moreno Trujillo / Książka Miękka
common.buy 79.18 zł
L'organisation mondiale du commerce NE Michel Rainelli / Książka Miękka
common.buy 63.02 zł
Unsere Erde - Gymnasium Baden-Württemberg - 5./6. Schuljahr Henriette Dieterle / Książka Twarda
common.buy 168.71 zł
A kuku Basia Flores / Książka Twarda
common.buy 22.57 zł
Des ducs à tomber - 1 - La face cachée du duc de Basingstoke Bradley / Książka Miękka
common.buy 47.26 zł
Nuevas Historias Curiosas de la Ciencia = Curious New Science Stories Jean C. Baudet / Książka Miękka
common.buy 88.31 zł
Erzeugung Von Schwingungen Mit Wesentlich Nichtlinearen Negativen Widerstanden Rudolf Urtel / Książka Miękka
common.buy 224.91 zł
MILAGROS DE NUESTRA SEÑORA GONZALO DE BERCEO / Książka Twarda
common.buy 41.34 zł
Hildebrand's Urlaubskarte Kanada Ost. Canada the East. Canada l'Est / Prasa Mapa
common.buy 35.52 zł
Pani Marta I Pyat' Ee Lyu... Irina Sheydneruk / Książka Miękka
common.buy 94.44 zł
Il Giardino degli Aranci - Il Mondo del Bosco Ilaria Pasqua / Książka Miękka
common.buy 59.01 zł
The Old Man and the Sea (Traditional Chinese Edition) Ernest Hemingway / Książka Miękka
common.buy 32.41 zł
Als der Osten brannte Henning Stühring / Książka Miękka
common.buy 131.17 zł
La Bataille de Montereau: 18 Fevrier 1814 Tondu Nangis-L / Książka Miękka
common.buy 70.05 zł
Das Richtige gründen Patrick Stähler / Książka Twarda
common.buy 109.49 zł
Das Heulen der Windhunde um den Bunker im Obstgarten Broder-M. Ketelsen / Książka Miękka
common.buy 34.02 zł
La sierra de Ayllón Miguel Ángel Díaz Martínez / Książka Miękka
common.buy 63.22 zł
Filosofía de la religión José Morales / Książka Miękka
common.buy 98.75 zł

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Algebraic Methodology and Software Technology
Autor Michael Johnson
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 602
EAN 9783540638889
ISBN 3540638881
Kod Libristo 05274790
Wydawnictwo Springer, Berlin
Waga 785
Wymiary 156 x 234 x 31

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
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ć

Biology of Root Formation and Development Arie Altman / Książka Twarda
common.buy 395.04 zł
Algebraic Methodology and Software Technology José Meseguer / Książka Miękka
common.buy 218.99 zł
TOP
McCance & Huether’s Pathophysiology Julia Rogers / Książka Twarda
common.buy 614.24 zł
Hare and the Tortoise Bernadette Watts / Książka Twarda
common.buy 70.95 zł
We are Supposed to be in Love, but We Have Both Forgotten How to Smile Han Yin / Książka Miękka
common.buy 68.14 zł
Why Knowledge Matters E. D. Hirsch / Książka Miękka
common.buy 151.85 zł
Hazel's Pocket Posh Journal, Mum Andrews McMeel Publishing / Książka Miękka
common.buy 32.61 zł
History of Spanish Painting, Volume IV-Part 1, The Hispano-Flemish Style in North-Western Spain Chandler Rathfon Post / Książka Twarda
common.buy 203.03 zł
Brill's Companion to Herodotus Egbert J. Bakker / Książka Miękka
common.buy 288.05 zł
Collected Mathematical Papers of James Joseph Sylvester James Joseph Sylvester / Książka Twarda
common.buy 186.17 zł
Zapowiedź
Pokemon Pocket Comics: Legendary Pokemon Hidenori Kusaka / Książka Miękka
common.buy 36.93 zł
An Authentic History of the Cato-Street Conspiracy; With the Trials at Large of the Conspirators, for High Treason and Murder; A Description of Their George Theodore Wilkinson / Książka Miękka
common.buy 122.24 zł
Index of Obituaries and Marriages in The [Baltimore] Sun, 1876-1880 Francis P O[--[neill / Książka Miękka
common.buy 112.60 zł
Where's Noddy? Martin Hill-Jones / Książka Twarda
common.buy 198.62 zł
Software Testing in the Cloud Scott Tilley / Książka Twarda
common.buy 830.43 zł
Teach Online Dr Carolyn Edwards / Książka Twarda
common.buy 101.26 zł
Sportsman and Naturalist in Canada, or Notes on the Natural History of the Game, Game Birds, and Fish of That Country ... Illustrated with Coloured Pl William Ross King / Książka Miękka
common.buy 109.69 zł
Annals of the Edinburgh Stage James C. Dibdin / Książka Miękka
common.buy 136.09 zł
The Trial of the British Soldiers, of the 29th Regiment of Foot, for the Murder of Crispus Attucks, Samuel Gray, Samuel Maverick, James Caldwell, and Edmund Trowbridge / Książka Miękka
common.buy 72.56 zł
Elgar Piano Album Sue Kay / Książka Książka
common.buy 203.24 zł
Why You Are In Debt Up To Your Eyeballs: The Fourth Book in the "Why" Series of Books Dr Leland Benton / Książka Miękka
common.buy 43.45 zł
Afghanistan: Politics, Elections, and Government Performance Kenneth Katzman / Książka Miękka
common.buy 81.79 zł
Trio Tales 2013: An Anthology of This Year's Short Fiction Collections with Additional Stories Judith Cullen / Książka Miękka
common.buy 31.00 zł
Order and Conflict in Public Space Mattias de Backer / Książka Miękka
common.buy 318.86 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?