Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer International Publishing AG
SKU: 09155938
Price: 61.28 EUR
Availability: InStock

Carlos Canal

Akram Idani

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09155938

Nakladateľstvo Springer International Publishing AG, február 2015

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... Celý popis

Libristo kód: 09155938

154 b

61.28 €

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

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi

/ Brožovaná

21.02 €

Einmaleins für die 4. Klasse Anja Rahm

/ List

6.43 €

Ratsburgerschaft und Residenz Christian Schmitz

/ Pevná

243.43 €

History of Louis Philippe John Stevens Cabot Abbott

/ Pevná

39.64 €

Beginning R Larry Pace

/ Brožovaná

64.40 €

Moon in the Water Stan Gordon

/ Brožovaná

15.39 €

From Furs to Farms John Reda

/ Pevná

157.79 €

Blown to Bits Leon Cooper

/ Pevná

24.04 €

Diriger et gérer l'entreprise : dossiers et questions Koubi

/ Brožovaná

24.65 €

Dark Journey to a Light Future Tommie Mabry

/ Pevná

32.09 €

Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller

/ Brožovaná

25.75 €

Sixth Sense Alastair Davie

/ Pevná

31.69 €

To Love Again? Shunkedra

/ Brožovaná

20.52 €

Het obstipatie formularium A.J.P.M. Smout

/ Brožovaná

23.44 €

Bringing Out the Best in Your Marriage Dr H Norman Wright

/ Brožovaná

12.47 €

Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky

/ Brožovaná

16.70 €

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Informácie o knihe

Celý názov Software Engineering and Formal Methods

Autor Carlos Canal, Akram Idani

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2015

Počet strán 405

EAN 9783319152004

ISBN 3319152009

Libristo kód 09155938

Nakladateľstvo Springer International Publishing AG

Váha 6555

Rozmery 155 x 235 x 10

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca