Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Decision Procedures Daniel Kroening

Decision Procedures

An Algorithmic Point of View

Daniel Kroening

Língua

Inglês

Livro Capa mole

Livro Decision Procedures Daniel Kroening

Código Libristo: 20119732

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julho 2018

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...

Código Libristo: 20119732

?

points

76 b

31.52 €

Armazenamento externo Envio em 10-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní

/

Livro de capa dura

29.70 €

JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI

/

Capa mole

11.31 €

Lola MacKenzie - Der Ring des Herzogs. Life is a Story - story.one Franziska Deuter

/

Livro de capa dura

14.34 €

Opowiem o tobie gwiazdom Edyta Prusinowska

/

Capa mole

8.07 €

Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny

/

Capa mole

9.59 €

Coloriages mystères Pixar Jérémy Mariez

/

Capa mole

17.78 €

Ganz schön clever! Einzelblock (Spiel-Zubehör)

/

Artigos de papelaria

5.04 €

Bella Germania Daniel Speck

/

Capa mole

11.21 €

In altre parole Jhumpa Lahiri

/

Capa mole

9.59 €

DaF Kompakt neu Birgit Braun

/

Capa mole

31.11 €

Amokspiel Sebastian Fitzek

/

Capa mole

10.40 €

Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling

/

Capa mole

8.07 €

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Decision Procedures

Autor Daniel Kroening, Ofer Strichman

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2018

Número de páginas 356

EAN 9783662570654

Código Libristo 20119732

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

Peso 580

Dimensões 233 x 156 x 24

Categorias

Matemática & ciência > Matemática > Otimização

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

No Time to Play Henry Farley

/

Capa mole

13.73 €

Field Sketchbook A6 Inc Peter Pauper Press

/

Livro de capa dura

6.26 €

Matty Matheson Quentin Bacon

/

Livro de capa dura

24.75 €

Komi Can't Communicate, Vol. 8 Tomohito Oda

/

Capa mole

6.86 €

Lonely Planet Epic Bike Rides of Europe Lonely Planet

/

Livro de capa dura

21.92 €

A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert

/

Livro de capa dura

28.59 €

RF Electronics for Electronic Warfare Richard A. Poisel

/

Livro de capa dura

125.70 €

Opening the Akashic Records Maureen J. St Germain

/

Capa mole

10.40 €

Are You Listening? Tillie Walden

/

Livro de capa dura

23.84 €

Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle

/

Capa mole

12.22 €

It Was Always You Lorhainne Eckhart

/

Capa mole

7.97 €

DESTINED FOR GREATNESS TESTA MAGGIE

/

Capa mole

5.55 €

Click and Boing: Almost go to the zoo Liam Lynch

/

Capa mole

14.04 €

Explore Brazil: 12 Key Facts Todd Kortemeier

/

Capa mole

10.30 €

God, Science, and Religious Diversity Robert T Lehe

/

Capa mole

16.97 €

Bio-based Materials for Food Packaging Shakeel Ahmed

/

Livro de capa dura

164.91 €

First Book of Jewish Jokes Elliott Oring

/

Livro de capa dura

65.88 €

Buckingham Palace Ashley Hicks

/

Livro de capa dura

41.02 €

Short Stories in French for Beginners Olly Richards

/

Capa mole

9.08 €

Jungle Book Kipling

/

Livro de capa dura

8.58 €

Rise and Divine Lana Harper

/

Capa mole

9.39 €

Peerless (Novel) Vol. 1 Meng Xi Shi

/

Capa mole

12.42 €

Murach's MySQL (4th Edition) Joel Murach

/

Capa mole

36.37 €

Not for the Faint of Heart Lex Croucher

/

Capa mole

7.06 €